Gentoo Packages
Gentoo Packages
>
haskell
>
Categories
>
sci-mathematics
>
agda-stdlib
> Manifest > agda-stdlib-2.8.0.2.3.tar.gz
sci-mathematics
/
agda-stdlib
- Manifest: agda-stdlib-2.8.0.2.3.tar.gz
Details
Type
DIST
File
agda-stdlib-2.8.0.2.3.tar.gz
Size
1267194 bytes
Hashes
Type
Value
BLAKE2B
46a2ca770a6e91e7e73ccaec182f4c43861931df53adde1375775cfb259ac5f223851bca1d45b1dd797b8bfbac82c6467541f7a5da7841ac301e964fd37a76d6
SHA512
02cad3a8d3cccc2f89f41b9486c9ab86f5784261f02425600b2a03a868cea02c2a21408f2cb588de361d76c167ffdf86a5511264b156ddd9d6e01593de687182
Versions
2.8.0.2.3
Source URLs
https://github.com/agda/agda-stdlib/archive/v2.3.tar.gz