diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-05-30 00:55:34 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-05-30 00:55:34 +0000 |
| commit | 87528a17957116e6ad75c0805da6462308978498 (patch) | |
| tree | 698c57e93d5339de111a895e86207cf0856d1375 /sci-mathematics | |
| parent | Add E theorem prover, with optional Isabelle/HOL sledgehammer integration. (diff) | |
| download | gentoo-2-87528a17957116e6ad75c0805da6462308978498.tar.gz gentoo-2-87528a17957116e6ad75c0805da6462308978498.tar.bz2 gentoo-2-87528a17957116e6ad75c0805da6462308978498.zip | |
Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.
(Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/e/Manifest | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/sci-mathematics/e/Manifest b/sci-mathematics/e/Manifest new file mode 100644 index 000000000000..97414a4e1964 --- /dev/null +++ b/sci-mathematics/e/Manifest @@ -0,0 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST E-1.5.tgz 1689077 RMD160 49742d441d205dc76a3278d9544100a3c6732a2f SHA1 d7fcf5aacfa309b3e2a93f1d7d8fdbf6ccbc3c06 SHA256 37239f169a9af3bb64edd205abe5022a043a1f4ea9ec694b39a9e61b37f5e46f +EBUILD e-1.5.ebuild 3465 RMD160 0aef9ecb7f8b4838d14eafdab1204bb98b35e606 SHA1 4a8468aa61e2cd9fe5785c4f987fdccd390399d3 SHA256 c735f5ca5b78a7a1b679984e39876a2f21a718051d4d25a899f59339e88bf95a +MISC ChangeLog 384 RMD160 39976a96eaa81068870fb309609cfe16191761f4 SHA1 ba5659b7acaf5c9bbdf9bd995ebb63bb48dcbdb9 SHA256 23eb422f89b53adb4899ac4ef1708de6eaa9d3ee8fcfdf7221cc342f785a99fb +MISC metadata.xml 1323 RMD160 366373798425f0daedafeadadbe7cf62844f0506 SHA1 f08122178cfdc4f190c3b9474861d64ae6fbbfdf SHA256 ee934514d44fa85025ca82639eae1ae007ca9585d86a82bf5b3b413b31de1af0 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.17 (GNU/Linux) + +iF4EAREIAAYFAk/FcAUACgkQoBEVQmGOlx/oLwD/QLTxSnzNhC79bVmHZ0Gdmv43 +Km2P/GCXaBLEtpllXVEBAN+KLrUcmVpiTV6rr19a6APfX7eWifIYBjfvE2Mk/6e8 +=Eekz +-----END PGP SIGNATURE----- |