DIST vampire-6.0.tar.gz 1669322 BLAKE2B 0018409e308f57a997a1b96ca1f27909c9a8c784834ccdd6fb8f47e9a94608896ae6552638fdaecb93c5be588f4625abe61da4014f210df4b4658d4809b989ce SHA512 b87080830f5d4bd7e598c3be05f3ca3a21936376623fa6712a37d967a4f81ecac561c68d21c6d1bb8297090f795205fe04de5652f7f80898ae1720ed99d926d4
DIST vampire-7.0.0.tar.gz 1030507 BLAKE2B ffbcf93c0cb3fd29688b8c7dd5bdd1c7aafc1e923b369c5cc65f9b24ac4da2d9e9e6c8384a1624766c281efe9891f19c1e88e96bc40b714590fb3e8db1a41658 SHA512 b01e987cfdb9ddba800345c138f6707431af5f8a453088736dd6169c42cccf899a6c4c2c472885dde32dc36f3d5e7ad8c467ab1be892b587dfc974d86ec974ac