DIST vampire-4.0.tar.gz 406760 BLAKE2B 8976eb1b560297346e744eb599ad576fffb81feb6fafe44295d9582fcef8364c50505629789fd710bbc9a23583c1e70434b54617868dc79ef69633909862652d SHA512 4f9c6572f6817bb31453cdd5e12d8a33a2c42aed0c65378d301bd349b6050b200a7b2f9dd1b732ea9176b2ca061df329e7bf33b75b868d36555febc24b3578bb