New p9m4 prover9 mace4 gui ebuild by me fixes #398021
authorMark Wright <gienah@gentoo.org>
Sun, 8 Jan 2012 14:48:53 +0000 (14:48 +0000)
committerMark Wright <gienah@gentoo.org>
Sun, 8 Jan 2012 14:48:53 +0000 (14:48 +0000)
commitc2bf40c4e6ffb962aa28b68e35f41faa59250308
tree00886fefde7dc029bd6fe4188316b6348b773512
parent9a4f82e8c94a7fbd7236f74e813c6e6955ba6017
New p9m4 prover9 mace4 gui ebuild by me fixes #398021

Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
sci-mathematics/p9m4/ChangeLog [new file with mode: 0644]
sci-mathematics/p9m4/Manifest [new file with mode: 0644]
sci-mathematics/p9m4/files/p9m4-v05-package.patch [new file with mode: 0644]
sci-mathematics/p9m4/files/p9m4-v05-python2.6.patch [new file with mode: 0644]
sci-mathematics/p9m4/files/p9m4-v05-use-inst-paths.patch [new file with mode: 0644]
sci-mathematics/p9m4/metadata.xml [new file with mode: 0644]
sci-mathematics/p9m4/p9m4-05.ebuild [new file with mode: 0644]