diff options
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index dc453eb009c1..6a7dfb65ee40 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -10,18 +10,18 @@ MD5 2a598208f4abb9c0fda7d0053797e17b files/proofgeneral-3.5_isabelle-non-interac RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b -EBUILD proofgeneral-3.5-r1.ebuild 1441 RMD160 7da2a16ae2469b9b2a44ff6fe98e3e2708a92bcf SHA1 6cf00626e3b72d7c1587ca3990908efd095a73c1 SHA256 b681a2df6c155ad64222689e1fb58469a70a89e0c8656ee4b012a3bba0daf0ba -MD5 2504c8b61b28f8932205531896ab408a proofgeneral-3.5-r1.ebuild 1441 -RMD160 7da2a16ae2469b9b2a44ff6fe98e3e2708a92bcf proofgeneral-3.5-r1.ebuild 1441 -SHA256 b681a2df6c155ad64222689e1fb58469a70a89e0c8656ee4b012a3bba0daf0ba proofgeneral-3.5-r1.ebuild 1441 -EBUILD proofgeneral-3.5.ebuild 1330 RMD160 e3309384b0bcbab0346cd5f36808e90ae47ea6e7 SHA1 e8d572c5a8314883a2871183f3f0a74422c61c67 SHA256 562569e95ad1149f8e1949daad90210ea44575973698e518c2a8b90d3cd00f9f -MD5 a36a54b7db92006846606d91975be649 proofgeneral-3.5.ebuild 1330 -RMD160 e3309384b0bcbab0346cd5f36808e90ae47ea6e7 proofgeneral-3.5.ebuild 1330 -SHA256 562569e95ad1149f8e1949daad90210ea44575973698e518c2a8b90d3cd00f9f proofgeneral-3.5.ebuild 1330 -MISC ChangeLog 1582 RMD160 68d448225ee604da1c634b6d81960628fd38cd9f SHA1 83aa3c21173196d6ac0ec095e82a67d80d67dfaf SHA256 6a3cef87a8db3d0d2fdd29e5ae51d819b926c3e3e2b598007ed261417cd40269 -MD5 572497842a23eef094ae5841a1bd73af ChangeLog 1582 -RMD160 68d448225ee604da1c634b6d81960628fd38cd9f ChangeLog 1582 -SHA256 6a3cef87a8db3d0d2fdd29e5ae51d819b926c3e3e2b598007ed261417cd40269 ChangeLog 1582 +EBUILD proofgeneral-3.5-r1.ebuild 1439 RMD160 dc29a99797dd012548ea10553fddad4df5a95628 SHA1 caad4fe298030eac26726b5de92729566e086f4b SHA256 2dbab003dd4a16c91a271736ebe71012b704f90d8a7a37fc9d093be993053a4b +MD5 816151fa5b9d22490c201269eef4b3b9 proofgeneral-3.5-r1.ebuild 1439 +RMD160 dc29a99797dd012548ea10553fddad4df5a95628 proofgeneral-3.5-r1.ebuild 1439 +SHA256 2dbab003dd4a16c91a271736ebe71012b704f90d8a7a37fc9d093be993053a4b proofgeneral-3.5-r1.ebuild 1439 +EBUILD proofgeneral-3.5.ebuild 1327 RMD160 961c7264c4f2afe2192f91d52082787cf9847d29 SHA1 b3b3a6cc1d3ecc0d9f9fc418398a76b21375a241 SHA256 d632993f9ea2cbeea53bd5f18a043cb9308d8e58aacc4dc4fc6f153ca155de68 +MD5 7f3f9115917195da81324382993ac07f proofgeneral-3.5.ebuild 1327 +RMD160 961c7264c4f2afe2192f91d52082787cf9847d29 proofgeneral-3.5.ebuild 1327 +SHA256 d632993f9ea2cbeea53bd5f18a043cb9308d8e58aacc4dc4fc6f153ca155de68 proofgeneral-3.5.ebuild 1327 +MISC ChangeLog 1715 RMD160 8275b613bd35673ed2ecf938660e51d72f3732a2 SHA1 fdba95c19ce07baa3574f7c8e225fd10e99cfe2b SHA256 6cfc550117eeb37a606acdca18a33ff8a009e11dd665219c8c053e91f0a84b21 +MD5 9fe98d587c0839428bec9cd3664c9869 ChangeLog 1715 +RMD160 8275b613bd35673ed2ecf938660e51d72f3732a2 ChangeLog 1715 +SHA256 6cfc550117eeb37a606acdca18a33ff8a009e11dd665219c8c053e91f0a84b21 ChangeLog 1715 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158 @@ -33,9 +33,9 @@ MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5-r1 253 RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5-r1 253 SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5-r1 253 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v1.4.5 (GNU/Linux) +Version: GnuPG v2.0.1 (GNU/Linux) -iD8DBQFFSlOuNQqtfCuFneMRAvFjAJwOaeI5WVlrenRFbmLXqpAKzGczzgCglMYb -BYBlXMYarGMNvfIu9nSQ6/s= -=lpOk +iD8DBQFFvCi16J2i8a8J4okRAj0NAJ0cuCvkDL3P2WaWN67yyxRLNsnwVQCgiXFn +d4LIOUGZVsHUecw6DaHEegY= +=cIf/ -----END PGP SIGNATURE----- |