gentoo-personal-overlay/dev-libs/picosat, branch master
My personal gentoo overlay maintained in git
http://git.cynerd.cz/gentoo-personal-overlay/atom?h=master
2021-09-20T11:19:27Z
dev-libs/picosat: add missing manifest
2021-09-20T11:19:27Z
Karel Kočí
cynerd@email.cz
2021-09-20T11:19:27Z
urn:sha1:964d83037dc8914a6639b108f6297d3edb79567b
dev-libs/picosat: add new package
2021-09-20T09:17:18Z
Karel Kočí
cynerd@email.cz
2021-09-20T09:17:18Z
urn:sha1:8d7fc043e7cb323bbaa0e7ecefa6add65e1eabe9