diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-05-30 00:51:22 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-05-30 00:51:22 +0000 |
| commit | 87bde380539960aab4affcbee96e8f272cd5e2d2 (patch) | |
| tree | bab685252bfa01504c9ff70d191c9d2a21b697d8 /sci-mathematics/spass | |
| parent | keyword ~x86-fbsd (diff) | |
| download | historical-87bde380539960aab4affcbee96e8f272cd5e2d2.tar.gz historical-87bde380539960aab4affcbee96e8f272cd5e2d2.tar.bz2 historical-87bde380539960aab4affcbee96e8f272cd5e2d2.zip | |
Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.
Package-Manager: portage-2.1.10.63/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/spass')
| -rw-r--r-- | sci-mathematics/spass/Manifest | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/sci-mathematics/spass/Manifest b/sci-mathematics/spass/Manifest new file mode 100644 index 000000000000..668a182be26c --- /dev/null +++ b/sci-mathematics/spass/Manifest @@ -0,0 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST spass37.tgz 1340925 RMD160 fb501cbe99331b4482b99c7f2df2f91566aa6a6a SHA1 68b1e570381b1bedafb5c682f4dee7ed3a6c6874 SHA256 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc +EBUILD spass-3.7.ebuild 2065 RMD160 0c75ed6ffa056c79bdf2eebe44831d8e2c35ef2e SHA1 140ba5f042e0afcff3b15c05e51e93c94a3059e3 SHA256 71d76b4c3aa90bea327cec680dce05429ac0ea869019c7e7050552f4b79e7714 +MISC ChangeLog 416 RMD160 81da7194a5fc8623cc7652d6a974b2e3de96a5c8 SHA1 57dcf037ed47fdb50d68b6e04235e97d7cd2a713 SHA256 b6f27163fc07f9bb818793912487fe994b435e1edb0b5ebfc817ff8b5f6508d1 +MISC metadata.xml 457 RMD160 be80e2ad1155c9ca3939811523a2f4d7865db52a SHA1 4bc39390402f4ea729af6147557f548a37180b24 SHA256 5be29865933aafc64edf4febf36101a59efbcf12da6772b90e564f3c794ad554 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.17 (GNU/Linux) + +iF4EAREIAAYFAk/Fb50ACgkQoBEVQmGOlx/WkgD+PZhaMxmR4ktXs2pquezN2pxO +8sNOLfPM1WA2eMo+aX8BAJlFqjL0yueoomhkDlXdyz0yPTyNpA0WcQEhN3e/T8Mh +=jBgU +-----END PGP SIGNATURE----- |