| Type | DIST |
|---|---|
| File | agda-pkg-0.1.51.tar.gz |
| Size | 23214 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 6b72b520740711dd53210db07f710113fbf0a5ab3192f3529b61f6bb66160c5ce6cf14fa1cdd5b020d56359f8f81edaab49da9c84fa4e63fd53a1ac76e0896f7 |
| SHA512 | 0290d52effbb05103a45673ba979dc10d2c7d1b74a1d4ec8a3dec3d0660c5c150a69e0d59fc731938940674a56981e878d11c36c53bed1ae006d6e79f20e77cd |