projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62b1569) | patch
Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.
authorMark Wright <gienah@gentoo.org>
Sun, 8 Jan 2012 13:57:17 +0000 (13:57 +0000)
committerMark Wright <gienah@gentoo.org>
Sun, 8 Jan 2012 13:57:17 +0000 (13:57 +0000)
commit7ea5c7da666ea4664ec3f6efe1b38f9b89fb536d
tree11a596f51f6fac278e0a3b3db24782b7ce419a9ftree | snapshot
parent62b1569bf51eaba29eaf4afa7b24d9d1796256eacommit | diff
Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.

Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
sci-mathematics/prover9/ChangeLog [new file with mode: 0644] blob
sci-mathematics/prover9/Manifest [new file with mode: 0644] blob
sci-mathematics/prover9/files/LADR-2009-11A-manpages.patch [new file with mode: 0644] blob
sci-mathematics/prover9/metadata.xml [new file with mode: 0644] blob
sci-mathematics/prover9/prover9-2009.11a.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.