| Type | DIST |
|---|---|
| File | vampire-6.0.tar.gz |
| Size | 1669322 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 0018409e308f57a997a1b96ca1f27909c9a8c784834ccdd6fb8f47e9a94608896ae6552638fdaecb93c5be588f4625abe61da4014f210df4b4658d4809b989ce |
| SHA512 | b87080830f5d4bd7e598c3be05f3ca3a21936376623fa6712a37d967a4f81ecac561c68d21c6d1bb8297090f795205fe04de5652f7f80898ae1720ed99d926d4 |