Gentoo Packages
Gentoo Packages
>
Miezhiko
>
Categories
>
dev-lang
>
idris2
> Manifest > idris2-0.8.0.tar.gz
dev-lang
/
idris2
- Manifest: idris2-0.8.0.tar.gz
Details
Type
DIST
File
idris2-0.8.0.tar.gz
Size
6995063 bytes
Hashes
Type
Value
BLAKE2B
b1418906eb7ede1777e633e088f654d124d5240f0ca45f0a6b9345e2995f435c4f744730ad49cacc0035f47cc711cfa6bf9c9936832dfe63f5fc897eb9c8f40a
Versions
0.8.0
Source URLs
https://github.com/idris-lang/${PN^}/archive/v0.8.0.tar.gz