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
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R...Justin Lecher2014-01-081-16/+16
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R...Justin Lecher2014-01-082-6/+16
* sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (...Justin Lecher2014-01-061-8/+18
* sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (...Justin Lecher2014-01-063-85/+89
* fix bug 466776 - typo in email addressMark Wright2013-05-241-10/+10
* fix bug 466776 - typo in email addressMark Wright2013-05-242-4/+7
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-301-5/+5
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-302-1/+7
* 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