Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/p9m4
Commit message (Collapse)AuthorAgeFilesLines
* Thanks to Ian Delaney for reviewing: the norm is to revbump with the change ↵Mark Wright2015-05-013-4/+22
| | | | | | | of eclass, decided in the early stages of the making of the new eclasses; for consistency Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* EAPI=5. Use python 2.7. Thanks to Ian Delaney for helping to upgrade to ↵Mark Wright2015-05-013-35/+29
| | | | | | | distutils-r1, fixes bug 544896 =/sci-mathematics/p9m4-05 request for conversion to new EAPI & eclass. Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-103-17/+20
| | | | | Package-Manager: portage-2.2.11_p9/cvs/Linux x86_64 Manifest-Sign-Key: 0x611FF3AA
* Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use ↵Mark Wright2012-07-023-15/+21
| | | | | | network during install. Thanks to Diego Elio Petteno (flameeyes) for reporting. Package-Manager: portage-2.1.11.3/cvs/Linux x86_64
* Fix typo.Diego Elio Pettenò2012-06-253-10/+16
| | | | Package-Manager: portage-2.2.0_alpha112/cvs/Linux x86_64
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-303-6/+12
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵Mark Wright2012-01-083-10/+14
| | | | | | on cd Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-087-0/+298
Package-Manager: portage-2.1.10.44/cvs/Linux x86_64