Gentoo Packages

sci-mathematics/coq-stdlib - Manifest: coq-stdlib-9.1.0.gh.tar.gz

Details

TypeDIST
Filecoq-stdlib-9.1.0.gh.tar.gz
Size1864333 bytes

Hashes

TypeValue
BLAKE2Be69b7159a56c1ee74577ca34f94dff3198023069e403fd686f4f215ad3db76058c36a657ff26a033bcd732e4993cdefd807fbd5b6963850524aa51cba5e55195
SHA5125a6c01496917b8f23017d9e94af567be68850155a4545bddb067da83eed97237e34d617345942a708b6a4231e00f9bfc8311cd978bf397bb1ef2ea7c25b1a0a3

Versions

Source URLs