| Type | DIST |
|---|---|
| File | vampire-4.0.tar.gz |
| Size | 406760 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 8976eb1b560297346e744eb599ad576fffb81feb6fafe44295d9582fcef8364c50505629789fd710bbc9a23583c1e70434b54617868dc79ef69633909862652d |
| SHA512 | 4f9c6572f6817bb31453cdd5e12d8a33a2c42aed0c65378d301bd349b6050b200a7b2f9dd1b732ea9176b2ca061df329e7bf33b75b868d36555febc24b3578bb |