Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9
Commit message (Expand)AuthorAgeFilesLines
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-081-6/+6
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-082-4/+7
* Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.Mark Wright2012-01-081-0/+16
* Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.Mark Wright2012-01-084-0/+600