| Type | DIST |
|---|---|
| File | vampire-5.0.1.tar.gz |
| Size | 2649343 bytes |
| Type | Value |
|---|---|
| BLAKE2B | fdc0a9390ce5a93cf2ff615b62ea7cab3400d706ca444a5f986b3d1d966369185f0226bccf13fe74d737b7bc1ef8dc894942b0280c6a76ac1964dff03d493958 |
| SHA512 | 4809b1d6a81f4605a9374a21a9b9720fd4234cb803cbbcf7867a0afb338489dc61f0f12314c2f235cb00d789c2d807bda3f8549dd87e260a19217f6cd481b329 |