Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; ↵Justin Lecher2014-01-081-16/+16
| | | | | | Respect CC (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; ↵Justin Lecher2014-01-082-6/+16
| | | | | | Respect CC (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary ↵Justin Lecher2014-01-061-8/+18
| | | | | | (R)DEPEND, dies and dodir (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary ↵Justin Lecher2014-01-063-85/+89
| | | | | | (R)DEPEND, dies and dodir (Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
* fix bug 466776 - typo in email addressMark Wright2013-05-241-10/+10
| | | | (Portage version: 2.2.0_alpha176/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* fix bug 466776 - typo in email addressMark Wright2013-05-242-4/+7
| | | | (Portage version: 2.2.0_alpha176/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-301-5/+5
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-302-1/+7
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-081-6/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Compress the mirrored patch, thanks to xarthisius for reviewingMark Wright2012-01-082-4/+7
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.Mark Wright2012-01-081-0/+16
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.Mark Wright2012-01-084-0/+600
(Portage version: 2.1.10.44/cvs/Linux x86_64)