| Type | DIST |
|---|---|
| File | idris2-0.7.0.tar.gz |
| Size | 6987849 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 5a3df7eb4541830822c92bc76e616266e9535c7fe989e78db4477c724d25720ec46bb21625ab9c0541da52fbacc0b1f7d49c3316191f88b553ec8a4f8d22892c |
| SHA512 | 3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b |