diff options
Diffstat (limited to 'sci-mathematics/vampire/Manifest')
| -rw-r--r-- | sci-mathematics/vampire/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest new file mode 100644 index 000000000000..fc80f8c57360 --- /dev/null +++ b/sci-mathematics/vampire/Manifest @@ -0,0 +1 @@ +DIST vampire-4.6.1.tar.gz 1511760 BLAKE2B 52ede8ac009379b15bc57b2ffe45965cbaf772f0e90bc619d859b85b77ce81eadbdd7ddae7c5e0e9cc69564a07f0abefa17109f7192e6afe634a5a929817fe92 SHA512 7ffeee64e9e4666344c0f9155c7e980920666813388416062cee89e43003fef5a8a54b8656cc42d2fa58b6fb3b87ef7f2c671bfc6787075df4058dcc3a1d46e1 |