Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/p9m4
Commit message (Expand)AuthorAgeFilesLines
* Thanks to Ian Delaney for reviewing: the norm is to revbump with the change o...Mark Wright2015-05-011-2/+12
* Thanks to Ian Delaney for reviewing: the norm is to revbump with the change o...Mark Wright2015-05-012-2/+10
* EAPI=5. Use python 2.7. Thanks to Ian Delaney for helping to upgrade to distu...Mark Wright2015-05-011-14/+4
* EAPI=5. Use python 2.7. Thanks to Ian Delaney for helping to upgrade to distu...Mark Wright2015-05-012-21/+25
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-101-12/+12
* QA: drop trailing '.' from DESCRIPTIONSergei Trofimovich2014-08-102-5/+8
* Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use netwo...Mark Wright2012-07-021-10/+6
* Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use netwo...Mark Wright2012-07-022-5/+15
* Fix typo.Diego Elio Pettenò2012-06-251-7/+11
* Fix typo.Diego Elio Pettenò2012-06-252-3/+5
* 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
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ...Mark Wright2012-01-081-5/+5
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ...Mark Wright2012-01-082-5/+9
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-081-0/+18
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-086-0/+280