diff options
Diffstat (limited to 'sci-mathematics/gappalib-coq/Manifest')
| -rw-r--r-- | sci-mathematics/gappalib-coq/Manifest | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest index 7b3bf16ac..0af692089 100644 --- a/sci-mathematics/gappalib-coq/Manifest +++ b/sci-mathematics/gappalib-coq/Manifest @@ -1,5 +1 @@ -AUX gappalib-coq-coq84.patch 2763 SHA256 9e338714e64c2a333c514d8e0c0ac7e4cf82f42ba9e8598103252570b59e3db4 SHA512 50d9246ab191b1fc67293e46ae5ccb870d7efdfd0f8c529a27eb94785c1dd9cf53ca097b2a2c2d8b02bfa315a4ac600dfad040815879018b3168c73ec4607b76 WHIRLPOOL 597b2fc3ca8717c807bce51cc93bbc30d192ddce2072a5cbf0fa194dd0c12d5ed9beca1a9adc2a677bd453b2031d2946c7b38c978c0caf911d85990ac85a8601 DIST gappalib-coq-0.18.0.tar.gz 114679 SHA256 817c825ff02efaae88f0696f3e93aeeca854199f229d89ad8f18b16237b261b6 SHA512 b5781e3a35fc8f4a5349730790c815ba60a7cb3777d7be150803d63a57b615ef2f84e5e7c3c01b2a7184eb28c36bf75c8ad368e0818c1abdfda66905e60982d8 WHIRLPOOL 1f08fef5206f7a72afaff601f90e241ad9c984a8a03bad28070016024648032eac5eb8eee32498fdd18b043861f8e329085c893088fb164e5f88076fb07f1fad -EBUILD gappalib-coq-0.18.0.ebuild 911 SHA256 af862e9fb8762bc0ea37fba3a2d79765b4f05489d45d1765edcb68814fe3c3f8 SHA512 a65193f02b8e7acb6223ecf6ab7feca7064134688fef0e6cbbad451bcf80ecedbfd421113b6041459abbf193bb231b47ee28c743749f630991221743b3b6d69f WHIRLPOOL 44465d8965ed09b9ce3debe6b3b7089ca73ebf444714cdeb179ebe5d6ae2446252e375a51f74d8ade2be40291cea3a08d2adc0c894cf7588b57399f184ff4017 -MISC ChangeLog 736 SHA256 2d25b76a7eeb150ab6498ca6295efc2bf51be9ad689a58263a7be8df161331dc SHA512 d190d21ebe1da7cb7f46abe499adb933e298783157e54944f81768773a67590a4690bb3e094c8f050e1f08b8a4e938821a55a2fac591305fcb66c5e044de8727 WHIRLPOOL dfb526267d58bb8651a6578759d50e2c5a797b064a9f774cc3dfd4cffa0546d85f1b4c740eb0c8ef6a1537dd7d5b85c0c5915955b0d2b6e14b14753a2e4f5a70 -MISC metadata.xml 443 SHA256 f799ef0a949ecbc8353f099966b0b11a2022cf812c4c80a331a40356773561fe SHA512 07bd63672fb4247dea9e162f1266e04b1e127c941c924d1069c257616f07125fb034e41718a54ad3af37348a7b2c5dd0238016a2c3d055b97888e995fc480fcb WHIRLPOOL 9ebb27fef8255fdc11077e43243fc790a24738d8a70a68668549e33184f9e8632e28ca074fe04c0f82664b070069d4c3520317f7fb17e952d0025c8e56126104 |