diff options
| author |   Christian Heim <phreak@gentoo.org> | 2007-07-31 21:57:39 +0000 |
|---|---|---|
| committer | Christian Heim <phreak@gentoo.org> | 2007-07-31 21:57:39 +0000 |
| commit | ac913cfb06a8501d9ca4962a2d45d28621fdacb3 (patch) | |
| tree | d8e15f38e04725ecbf4fa445449247374da55f9d /sci-mathematics/otter | |
| parent | Reassigning to sci from math-proof (see #138059 for reference). (diff) | |
| download | gentoo-2-ac913cfb06a8501d9ca4962a2d45d28621fdacb3.tar.gz gentoo-2-ac913cfb06a8501d9ca4962a2d45d28621fdacb3.tar.bz2 gentoo-2-ac913cfb06a8501d9ca4962a2d45d28621fdacb3.zip | |
Reassigning to sci from math-proof (see #138059 for reference).
(Portage version: 2.1.3_rc9)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/otter')
| -rw-r--r-- | sci-mathematics/otter/Manifest | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/sci-mathematics/otter/Manifest b/sci-mathematics/otter/Manifest index 0e1d726e435b..32e633f61f0e 100644 --- a/sci-mathematics/otter/Manifest +++ b/sci-mathematics/otter/Manifest @@ -1,16 +1,26 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + DIST otter-3.3.tar.gz 2809092 RMD160 160bd64bb799daf7d7c658b28c4fba7ca6d118fa SHA1 b02a6be1fa1c4f30be2327450f5af21812f03b50 SHA256 40d7399e96491bcdabce1427c58945b3cfa414e1cefb8edae7bbea02dd6c0249 EBUILD otter-3.3-r1.ebuild 800 RMD160 0d4ef289b320ce20f1fc1c333e76ef476cc9873b SHA1 a60ae63539cc5ff025d92711d31b8155616130f7 SHA256 dbb10ea2e631d6cce28cdfa36cf58bb47f8e6a13ca1e6c1fe7b9d8214b09f276 MD5 f884a8f2c044187015344d77e3be0f06 otter-3.3-r1.ebuild 800 RMD160 0d4ef289b320ce20f1fc1c333e76ef476cc9873b otter-3.3-r1.ebuild 800 SHA256 dbb10ea2e631d6cce28cdfa36cf58bb47f8e6a13ca1e6c1fe7b9d8214b09f276 otter-3.3-r1.ebuild 800 -MISC ChangeLog 2369 RMD160 4264a246e00cef44fe9bb53e20879c3f71885d40 SHA1 025102898c10e7dd8f74056706f96942b8ffb698 SHA256 fd61be2acd15136dcb9b22a854d53a1608dcb433d3943be762d54d851c2f13e6 -MD5 00222f2386ec090340a70c09379944c3 ChangeLog 2369 -RMD160 4264a246e00cef44fe9bb53e20879c3f71885d40 ChangeLog 2369 -SHA256 fd61be2acd15136dcb9b22a854d53a1608dcb433d3943be762d54d851c2f13e6 ChangeLog 2369 -MISC metadata.xml 163 RMD160 c4ccadc6b50f16b2a7e075ac180dee68b7ecf511 SHA1 31efc46b80a3587009c51e35604b72284c2fdef6 SHA256 00104b76066c2da632691c4fe35484fd31d2681dbee48d4be9438d83e723c5ca -MD5 3245dbafaf5457dcd692a084076c7211 metadata.xml 163 -RMD160 c4ccadc6b50f16b2a7e075ac180dee68b7ecf511 metadata.xml 163 -SHA256 00104b76066c2da632691c4fe35484fd31d2681dbee48d4be9438d83e723c5ca metadata.xml 163 +MISC ChangeLog 2501 RMD160 4c1df125c43748647f8b1ea2abfc0677005c4145 SHA1 4b7d73b97d14bf0b36f1fe1e54d2e7369c2d2403 SHA256 b550611a85a29aff9e31426400809b43c0fc405575424ce33b1becfdbb8ac035 +MD5 ea9a285f118993ddf641730163f4631a ChangeLog 2501 +RMD160 4c1df125c43748647f8b1ea2abfc0677005c4145 ChangeLog 2501 +SHA256 b550611a85a29aff9e31426400809b43c0fc405575424ce33b1becfdbb8ac035 ChangeLog 2501 +MISC metadata.xml 157 RMD160 ed43b99e7bf8bbf62cf4e46152138ab42d3a88c5 SHA1 2182a6de0b10959aad51af2990f1a6c69e34dd97 SHA256 750cb9e46ac2b77e1adf73de43c186a8c2d2234a9c6a89d9358d0969dc5cf8ac +MD5 0ffcd41aa96cf1bcffd8b539c27957db metadata.xml 157 +RMD160 ed43b99e7bf8bbf62cf4e46152138ab42d3a88c5 metadata.xml 157 +SHA256 750cb9e46ac2b77e1adf73de43c186a8c2d2234a9c6a89d9358d0969dc5cf8ac metadata.xml 157 MD5 045f389bc2a1dd61a59fe924ac424129 files/digest-otter-3.3-r1 232 RMD160 0b61254d1181abe7919a2a3c2de95e001433999d files/digest-otter-3.3-r1 232 SHA256 ee2346ebafc539b6fcde85b785e57072931bc84ff4ff92aeb6ca5f69bc4208c7 files/digest-otter-3.3-r1 232 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.5 (GNU/Linux) + +iD8DBQFGr7BZyuNVb5qfaOYRAjLnAKDMyxyS+hSGGyVr4THBDUz0QV990QCgh8AW +ZN4Dxihf9qsvL4AOEjTpxcg= +=x/Ki +-----END PGP SIGNATURE----- |