diff options
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 87a7ea755c47..9fc23a1d3cbd 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -3,13 +3,15 @@ Hash: SHA1 AUX 50proofgeneral-gentoo.el 68 RMD160 f88b8933267aaeb02694c155223c910bfbde8103 SHA1 131add694a99178ba800fe25f5906102ab39e2cf SHA256 85504cdc0876b745d6989be00b87cc88ffc1dd6dfabff96a3cc3c3d48dfbe898 DIST ProofGeneral-3.7.1.tgz 2023176 RMD160 57740365463b0049f9409e9dc1e97bf66a81fb90 SHA1 8bfa5b8c8f670ac992628aa05824f4bf514673a2 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93 +DIST ProofGeneral-4.0.tgz 1351482 RMD160 1c89da5fb4ac718f5ac9ff2a940c1e2222f18236 SHA1 af3a821ce6b4d3d86a1eaa8b27e3e5902da384c7 SHA256 b8aeefd5619683216ff57bae81236dfab71d43d6eefa371d38749fc43415cfaa EBUILD proofgeneral-3.7.1.ebuild 1344 RMD160 35cffe13a96d86d24a5586112b85822137a56229 SHA1 8c79e7ddcba6ed75e9b28ada8089ab8a0ae733d8 SHA256 0199b19bf18c0c20cfa5719dcfbec325511013d00f777c2b1c25ee72719806ba -MISC ChangeLog 4310 RMD160 ff298196bec3356dbae749101e732cb50e1696f8 SHA1 ad8aff2a3bb9d6542435c64213820e4b9533d9b3 SHA256 a0261303c5024e53186bd3f7b7f6c85cd9787962d6ac7fac00e8024b0e0173f3 +EBUILD proofgeneral-4.0.ebuild 1403 RMD160 4b5388be291f7a11986257705d3d03b65e5d75be SHA1 af5b91d6d6e5a0a2c238be64ef96e7ea350879f9 SHA256 eaeb7304c5d637c99b8ed1fddaa1b1d10178b47bc4312080b4dd75a3e62dc064 +MISC ChangeLog 4529 RMD160 989b9f660950463fee27e1071fbda9a00d054733 SHA1 b5f01d1efbcce079ebfebd2d83b64353d49981e7 SHA256 ccc0493f1f239d142cb40ef63b0adeddeed95d220d015594dce22d47c4f9a766 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.14 (GNU/Linux) +Version: GnuPG v2.0.16 (GNU/Linux) -iEYEARECAAYFAktz1GIACgkQOeoy/oIi7uxYewCfSXLe8sTVDf77cuIkh89cPIUe -XRIAni5+fLzIHh7pCaY9gUTkcbhQDTHW -=JIhi +iEYEARECAAYFAkz9N+YACgkQNQqtfCuFneNFIQCdEDZURzsl4Bo9SmAAGFf8O8Oy +ohsAn3NhdksXwRzcMi+9Wy5ggp7elN8X +=XX/6 -----END PGP SIGNATURE----- |