diff options
Diffstat (limited to 'sci-mathematics/gappalib-coq/Manifest')
| -rw-r--r-- | sci-mathematics/gappalib-coq/Manifest | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest index 0af692089..07c2bc137 100644 --- a/sci-mathematics/gappalib-coq/Manifest +++ b/sci-mathematics/gappalib-coq/Manifest @@ -1 +1,4 @@ -DIST gappalib-coq-0.18.0.tar.gz 114679 SHA256 817c825ff02efaae88f0696f3e93aeeca854199f229d89ad8f18b16237b261b6 SHA512 b5781e3a35fc8f4a5349730790c815ba60a7cb3777d7be150803d63a57b615ef2f84e5e7c3c01b2a7184eb28c36bf75c8ad368e0818c1abdfda66905e60982d8 WHIRLPOOL 1f08fef5206f7a72afaff601f90e241ad9c984a8a03bad28070016024648032eac5eb8eee32498fdd18b043861f8e329085c893088fb164e5f88076fb07f1fad +DIST gappalib-coq-1.0.0.tar.gz 118901 SHA256 3c7923b9f3bc9f43225f81e55540441abe76b776d3ca8d34b7898124523d91fb SHA512 1aed7eafc24d82fbb3431e267ae0882560b34864f443fa95b450f465fe571cae558bc0ddf31db96477092518dd20a9870a9f8360ad8a0b3967d6f912c2bd0b67 WHIRLPOOL 61227031eca402aca53ad20d34c74ea51dd4f42b79896e4898f233ee352be5848c087ff34b627ae6bbfbaf433c91fa131b37893bd89a70c97e44aa4c31e3033a +EBUILD gappalib-coq-1.0.0.ebuild 842 SHA256 149658f79860e60e2940c6bff2c293a3d3793640cd98c5d841063d079a44279c SHA512 620425a8c135c3f8dfb05365a1dabe84cf1ca5210cae30c530fa1f5ad134153109d440c14a8edfc6c5b8916498e4be6997345daadec5f7459997661924ba2113 WHIRLPOOL ec49f8252864da8d4ed6de9ca5b8c3b5e4e9b2692d192dc4e3ec493bce2e4960e3c43f98b900d7a4599057e4620903a50bf50c267ed4fab90addeb5d0c76e4a5 +MISC ChangeLog 1138 SHA256 52a8807833fe0245f555f3dfcfc34590e6078378965a30de80b8be03dd143da7 SHA512 c158b0c6a1d9dc169e8e4fad26d042675020f5e66ab65d11d1491e6eeabd70fd2859cda63c85a07d2a1d67455de9b84b7b0c5b1bcd7ef523c73ecfdfdc4c16e4 WHIRLPOOL 1c865f0ddf8c242d20e1e12d0601f98765dda58309dc6f908f36a5bbf63e70af6772ec847d0258243ed5a90460a736cf0b50628dddde957943e1fd813193849c +MISC metadata.xml 391 SHA256 e620622efa1a97573ca6acf6b6850c2fb8343a9cd3e176a5bbe4d4359a737e43 SHA512 be73357b6239636b5937fb58dc7d5735b3d87fbd41f696643a7e2975c706c30e4184654268e4ca68e498eb50995d627a3bf17e1b71fa0781f472d8456e386da2 WHIRLPOOL 2e94403f6439e6673062a1fab0e9a1c0038ab9adc9761738fb8fdc8b9ee03de46e958ec3a1e4c2bac0e4965014d36fa21535f826aaa402dbdd9be79e1d3c7b62 |