Gentoo Packages
Gentoo Packages
>
gentoo
>
Categories
>
sci-mathematics
>
coq-serapi
> Manifest > coq-serapi-0.20.0.tar.gz
sci-mathematics
/
coq-serapi
- Manifest: coq-serapi-0.20.0.tar.gz
Details
Type
DIST
File
coq-serapi-0.20.0.tar.gz
Size
182481 bytes
Hashes
Type
Value
BLAKE2B
0483eb7023c67b42def13d23ceec7375d4a575f58ef0b6ed39cbcf8c8f76633c74c83bdebff18b7a777d90beeb20d03c38f20cff525afd1822db31c4a168d413
SHA512
00f8ff851c1b99f45761d098af51949f9a6844d05e23b2cede795bb4f93a9a0a753b45c38271537b257f0ec9cd7538be251174eff483a89cd57889f40a358c27
Versions
0.20.0
Source URLs
https://github.com/ejgallego/coq-serapi/archive/8.20.0+0.20.0.tar.gz