| Type | DIST |
|---|---|
| File | twelf-src-1.7.1.tar.gz |
| Size | 1147610 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 9fbb3c5a4823845a0c721112744330658be0e68784ef209a3d17fb72874ef50d7dbb434a7104704a5540f2f0bc30727bfe1ff602f986570f944454e77c24609d |
| SHA512 | 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df |