| Type | DIST |
|---|---|
| File | vampire-7.0.0.tar.gz |
| Size | 1030507 bytes |
| Type | Value |
|---|---|
| BLAKE2B | ffbcf93c0cb3fd29688b8c7dd5bdd1c7aafc1e923b369c5cc65f9b24ac4da2d9e9e6c8384a1624766c281efe9891f19c1e88e96bc40b714590fb3e8db1a41658 |
| SHA512 | b01e987cfdb9ddba800345c138f6707431af5f8a453088736dd6169c42cccf899a6c4c2c472885dde32dc36f3d5e7ad8c467ab1be892b587dfc974d86ec974ac |