DIST vampire-4.9-casc2023.tar.gz 1502934 BLAKE2B 399ca20578d30e6cca74e7e46a97d87975ebcc9cd18e61fc125b99eec008a46df7e12b8e3c5e448f1e112429a8f79d7d7b9866811d2cce1c523bd0fb322278c4 SHA512 f37ca777da8dad719e3072d6c0ff31b67152ed699a1f21ccb5f004398d6472ab8105f16bfd21ec8a42cf65f8aca4a197e9c4557724e2d1a38bed291b2c5aeef3
DIST vampire-5.0.0.tar.gz 2674000 BLAKE2B 2de6034223dd8f9be0634ed6b052a6feb5e337d63e3862e9dee2fa7c16afee9a6c94d48c0a5d4e7ddd1ef4111f9f4b4eb5d9a174fa76b56a54f884a4a422c50a SHA512 1cc6573d00d0eeee0f4d824a46f8dbb9702ba00245863b231da6d6a67655dfebb8815b336f29ea1455f71a9c0aec327d5d47babe0e960ccfb644ab0823e916e4
EBUILD vampire-4.9.ebuild 1431 BLAKE2B 342fe7b4a0d5a82d3f433ad028fd8547252a82dc76e75ea823c7f3ac19128807124fbf17e023c96312e634f98504f516f21e90391251c0e79abfdb525d61c76b SHA512 37224e74ae2769e0e3f24b040e4fb8270577b8855df1a29e8781dfffa13411b3e594b80576aebc2647ba1a09466cbfc4f850df4d3b7d38e52040b178196ddda6
EBUILD vampire-5.0.0.ebuild 1157 BLAKE2B 6b8569d454b99b42525e5bf1aa9a6a329b112b40f2a42f8ba9fdd5641a4707016f237b1fbc55fa0a1ed67660c57573e07e505ffdb6701cea8d7b854f99f78338 SHA512 74b160aff1789a53c5ff5478e975f7432d54bc021d15e111dcdd717072e6178f825e22856b313b730ef869c1ddd1339d129ef354d2a288207fad874e9e5011f6
MISC metadata.xml 1020 BLAKE2B 6e798243e207d09fac240c73cda8918b300706a19d53918b3ce78e847146ad3676a39d9be8e020b678c20d7fe02da0eab57519ea2c5841eeeea0b8a680045928 SHA512 dc82a586070c97db278ef17a24384436548b2a968d18ead7d148f654bab4ad846e685ac2ae2f7db8048b25115b673bcf8223fa2813b370f9d6b6ac01dcf9040e