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-011-2/+12
| | | | | | of eclass, decided in the early stages of the making of the new eclasses; for consistency (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to Ian Delaney for reviewing: the norm is to revbump with the change ↵Mark Wright2015-05-012-2/+10
| | | | | | of eclass, decided in the early stages of the making of the new eclasses; for consistency (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5. Use python 2.7. Thanks to Ian Delaney for helping to upgrade to ↵Mark Wright2015-05-011-14/+4
| | | | | | distutils-r1, fixes bug 544896 =/sci-mathematics/p9m4-05 request for conversion to new EAPI & eclass. (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5. Use python 2.7. Thanks to Ian Delaney for helping to upgrade to ↵Mark Wright2015-05-012-21/+25
| | | | | | distutils-r1, fixes bug 544896 =/sci-mathematics/p9m4-05 request for conversion to new EAPI & eclass. (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-12/+12
| | | | (Portage version: 2.2.11_p9/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-102-5/+8
| | | | (Portage version: 2.2.11_p9/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
* Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use ↵Mark Wright2012-07-021-10/+6
| | | | | | network during install. Thanks to Diego Elio Petteno (flameeyes) for reporting. (Portage version: 2.1.11.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use ↵Mark Wright2012-07-022-5/+15
| | | | | | network during install. Thanks to Diego Elio Petteno (flameeyes) for reporting. (Portage version: 2.1.11.3/cvs/Linux x86_64)
* Fix typo.Diego Elio Pettenò2012-06-251-7/+11
| | | | (Portage version: 2.2.0_alpha112/cvs/Linux x86_64, signed Manifest commit with key D4301342)
* Fix typo.Diego Elio Pettenò2012-06-252-3/+5
| | | | (Portage version: 2.2.0_alpha112/cvs/Linux x86_64)
* 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)
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵Mark Wright2012-01-081-5/+5
| | | | | | on cd (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ↵Mark Wright2012-01-082-5/+9
| | | | | | on cd (Portage version: 2.1.10.44/cvs/Linux x86_64)
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-081-0/+18
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-086-0/+280
(Portage version: 2.1.10.44/cvs/Linux x86_64)