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
* 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)