dev-lang/idris2 - Manifest: idris2-0.8.0.tar.gz

Details

TypeDIST
Fileidris2-0.8.0.tar.gz
Size6995063 bytes

Hashes

TypeValue
BLAKE2Bb1418906eb7ede1777e633e088f654d124d5240f0ca45f0a6b9345e2995f435c4f744730ad49cacc0035f47cc711cfa6bf9c9936832dfe63f5fc897eb9c8f40a

Versions

Source URLs