diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-01-08 13:57:40 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-01-08 13:57:40 +0000 |
| commit | 71945f20ede8acf3b96365b5abf048cdcb7ee860 (patch) | |
| tree | 06ea039a0b3a869b2e3eff9dcdbe2211bcc7cbc5 /sci-mathematics/prover9 | |
| parent | Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205. (diff) | |
| download | gentoo-2-71945f20ede8acf3b96365b5abf048cdcb7ee860.tar.gz gentoo-2-71945f20ede8acf3b96365b5abf048cdcb7ee860.tar.bz2 gentoo-2-71945f20ede8acf3b96365b5abf048cdcb7ee860.zip | |
Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.
(Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/prover9')
| -rw-r--r-- | sci-mathematics/prover9/Manifest | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest new file mode 100644 index 000000000000..32340c70f19b --- /dev/null +++ b/sci-mathematics/prover9/Manifest @@ -0,0 +1,16 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +AUX LADR-2009-11A-manpages.patch 13832 RMD160 9e53ec550fab18666d66157297aadf5476fd0396 SHA1 de7e0b351b04c405bfb0a26b433c1cb4fdbe51c8 SHA256 d9ecfc1a476d1e06a4b83dc3a96a57c3cf78943571e910ea4be420ce5a255371 +DIST LADR-2009-11A-makefile.patch 43515 RMD160 dee0b1aef196ac5ba6af074d4c7edcdf889853c6 SHA1 c728fbdc9ccf087c736150a88f9ec4aac141cf52 SHA256 336d936b497107235b76947930f56137c2787744f0612681ce9700f8ce2aeed2 +DIST LADR-2009-11A.tar.gz 1795750 RMD160 b4b1af8af6b7bdd7c1f286789a1e16e38589590e SHA1 0b30a80f36512c0958b0e77ce18d0d8056e33bb1 SHA256 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 +EBUILD prover9-2009.11a.ebuild 4803 RMD160 e899312eb90fc9958934f12bb6de3298610aeb66 SHA1 a1172079cbc8b9c11d8ea74c1dd5bf3c50b4f5f2 SHA256 eca811276bd25ad064f8092bf7f006e3f0178b4a660cc9bdf33974e9df771472 +MISC ChangeLog 443 RMD160 8e26d98e54cb403808708fd84416a07ea814414b SHA1 942a6540a6a0ff4bae0ad5c4419b8b4a50920b7e SHA256 74eec010dbf69ab0d137f11c6823b7169869b46d70003f947045b527d8caf762 +MISC metadata.xml 423 RMD160 a767b6d8e7e0486ec16e524255bdefc26d2e06ce SHA1 cd5590400997b34ffd45bcdba632d1225d34529a SHA256 76bcbad4dbff765e937d62cdedad22b15588798f01599e6e3e4b9992d7033536 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.17 (GNU/Linux) + +iF4EAREIAAYFAk8JoM0ACgkQoBEVQmGOlx8+9QD/SQW4sBQ63778meGjN7J+oqaE +gPpRWnCUsDa5qREqUWEBAMxY33+Mi2EL1miMvzpVZU9LC+9yBHMHA6Ebd0p1cBoI +=h4mu +-----END PGP SIGNATURE----- |