Gentoo Packages
Gentoo Packages
>
gentoo
>
Categories
>
sci-mathematics
>
gappalib-coq
> Manifest > gappalib-coq-1.5.3.tar.gz
sci-mathematics
/
gappalib-coq
- Manifest: gappalib-coq-1.5.3.tar.gz
Details
Type
DIST
File
gappalib-coq-1.5.3.tar.gz
Size
119795 bytes
Hashes
Type
Value
BLAKE2B
c66eecbc32c0559cb4b818ad86f31bd3a29e90389f8fd98adf61426025b0d60b2919075487d4d8aa50c8b020909ed5d9f121c0ca516a5320b5a1246b6278ced4
SHA512
2a40386371bb3e940383e7568bf49b60ffc1d941a8aa7efd24bb88afa70d6cbdc8ed23ab849f2dbfb3add5055131ddebdb1df05840ed62f27dfd3caefc31e72f
Versions
1.5.3
Source URLs
https://gappa.gitlabpages.inria.fr/releases/gappalib-coq-1.5.3.tar.gz