diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-11-26 11:42:28 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-11-26 11:42:28 +0000 |
| commit | 89c6c06b8c42107dd231687a1012354e7d3039fc (patch) | |
| tree | dad94f4da8a6694f3cb99f7048be2f9cf5f78f97 /sci-mathematics/prover9 | |
| parent | 796cae72cf9ed18ba01256ac1f83a686a2a76036 (diff) | |
gentoo resync : 26.11.2017
Diffstat (limited to 'sci-mathematics/prover9')
| -rw-r--r-- | sci-mathematics/prover9/Manifest | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest index c3edc553c262..14652a4f23be 100644 --- a/sci-mathematics/prover9/Manifest +++ b/sci-mathematics/prover9/Manifest @@ -1,7 +1,5 @@ -AUX LADR-2009-11A-manpages.patch 13832 SHA256 d9ecfc1a476d1e06a4b83dc3a96a57c3cf78943571e910ea4be420ce5a255371 SHA512 4c9f862b33d7b6b33b5e4a82b38418c6ae41b7adae565d376cc741608eb989e3846c1e98589dea62f7cadeb0b1f0f5814afe95ee6cf0da63c6961620d8b2677c WHIRLPOOL ce25b003f4ea4262e2431437e840d188ac73bab08f2397d7869badb9adfd783e58fb09d01ddaee983fc4b9078b716cb04958125df800984bdb486f11badd39a6 +AUX LADR-2009-11A-manpages.patch 13832 BLAKE2B dfd8d0ba6722d788b4e7662c0c4113cc06c32f2f45cdd32327896147435d3f730b464189ee1766a1c162a90cd730d917d8b29c3c241a94d65a3fc5833f3bbca1 SHA512 4c9f862b33d7b6b33b5e4a82b38418c6ae41b7adae565d376cc741608eb989e3846c1e98589dea62f7cadeb0b1f0f5814afe95ee6cf0da63c6961620d8b2677c DIST LADR-2009-11A-makefile.patch.xz 4300 SHA256 7340ec2ce439a6ed039d7077a417ca5d81ad3acce0b174e96469e8ebad274adf SHA512 c1d2e27d991036af24a29deb4401fbf9687415d2a37bebabb9cfc77d8672e0804d974f92cbd7b8e16c0a0c10b75831847f7b8ddb94244d7e632de7b1be5081f1 WHIRLPOOL 15401ed0b9edafb3841bed7c1c270d8a38544470abf87abd9b70b9eb0aa194d7296146e88b797a568aff7e557a118bfc2ee40d5a5c8ae6a426902db51e11c0ae DIST LADR-2009-11A.tar.gz 1795750 SHA256 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 SHA512 f26d3713eb2ba809fb3d55ce179e9d91555ab9166e075aa0843bafe57ce00f153cfed178b61993d4fd471655840e4f40775d75dac9fb5242a67e5d59c970dfc7 WHIRLPOOL 6e6abd1a5c7bfc988fb693eeea08bdfba77c9badea3d4a77764efcb9ee16c36b372241fbf4d4dead911cabf9a03721988f334977379da47d04b4320bae257fad -EBUILD prover9-2009.11a.ebuild 2501 SHA256 e5f7881d48c8dd70eee7e6ef300f58b5de2e453387556ac10529da3d4e90224f SHA512 9fcd42d72dbb823fd2a71064416fb7d5565c2104aaf78274d3986b605e5182ff5bc09f706191c5441d64392e7de6ae779d33afcb2ca7df6d5476cbcdd01724f0 WHIRLPOOL 4c8ecc39cd6a8e4272d851ac1344e2990e3c0eed1cd01b5182c217791711065063cc9dde5d4838bf9f8922959d624d8390282e4eed8e33c7835ad2d06687d368 -MISC ChangeLog 2506 SHA256 11eea2ed086a936c3bd01d4e215e126b1b934f3685c8788e10388974b7231962 SHA512 0107cff7c26b34a4a2a67f53b8c0dfda01a1ae334b8aac71993b1e6b595e5a83b4a2927c6475856a670c9ef5265870e0024273f44e310f1947196c451b3e5c86 WHIRLPOOL c466e09a66b45b300aed7b389f800cb4bc679707317d83ab54aa4c21a39db38a9d5f7f7b914f95979f4c9cd96f46652651b86be45daf83c89bac228b7573f128 -MISC ChangeLog-2015 1093 SHA256 accadcaa67650488616b1d397e357382252040095843ec6afbaa9d290ae3a92f SHA512 65e8adfe60b4ccb86fbb60990162ee057bf56afc88e0a10f0263325560cf6d5bb71191d76104ff7651aaef39caa8d84c975ad8cef0bafa42416019868be97b6b WHIRLPOOL 5f7bd44aaff1b05be2fa420667c5727c42f86d640eceac4112131ca9b760dd39a65614ac2215f9fb429bd71200e66c09fed67f33686defa64c3e720a84e4b91d -MISC metadata.xml 643 SHA256 4b9cacae281684bc0e74de2c98f56c897a723a936f5b48e51158896ab72eee7b SHA512 c3160f8aadceb5f065af9c5f14e9fe904b270bba1cf7781d33c39dca4f2641d61123839b93c4d7ad38139e8fc4c221016fe444cbfd7ddc99ea224090fccd7078 WHIRLPOOL d16c76482900958caa7db7be34c00ca77dfb7b86b141189245fd112ff9cb4b002a0dad0c6b7689e36a6620ec715cad91ce89b643e7bb31615dec2f051877009a +EBUILD prover9-2009.11a.ebuild 2501 BLAKE2B 55ab63fa76e365177fecd80a37926b8ba573242d2d5d43960a3e1a016c0dad725202bde4062ddedccb6154f807d94f86213de6769fdde478ecfbf6c7725ee284 SHA512 9fcd42d72dbb823fd2a71064416fb7d5565c2104aaf78274d3986b605e5182ff5bc09f706191c5441d64392e7de6ae779d33afcb2ca7df6d5476cbcdd01724f0 +MISC metadata.xml 643 BLAKE2B cdef536d25ca7d2ba991037e4423c21bde719ae18976367e5e8d232d3f4d83f46b10c135f5f0f6986ba8d1756eee5cc85e78dfc4a4b81204945a7268a6ed899a SHA512 c3160f8aadceb5f065af9c5f14e9fe904b270bba1cf7781d33c39dca4f2641d61123839b93c4d7ad38139e8fc4c221016fe444cbfd7ddc99ea224090fccd7078 |