Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Obsolete attachments are hidden. To view all attachments (including obsolete) click here.
Attachment #456966
cryptominisat-5.0.1.ebuild text/plain 2016-12-21 11:14:32 UTC 959 bytes no flags Details
Attachment #456968
cryptominisat-gnuinstalldirs.patch patch 2016-12-21 11:15:01 UTC 2.04 KB no flags Details
Attachment #456970
metadata.xml text/xml 2016-12-21 11:15:27 UTC 647 bytes no flags Details