Gentoo Packages
Gentoo Packages
>
gentoo
>
Categories
>
sci-mathematics
>
psmt2-frontend
> Manifest > psmt2-frontend-0.4.0.tar.gz
sci-mathematics
/
psmt2-frontend
- Manifest: psmt2-frontend-0.4.0.tar.gz
Details
Type
DIST
File
psmt2-frontend-0.4.0.tar.gz
Size
70801 bytes
Hashes
Type
Value
BLAKE2B
337b3a87e9bff1c48eec9be4b1b50539c0114cdcdba1ac9c64ee180f73451b6a500f4a970a4f557dc3b886c5932bb72bb0b1b5e130a833b05502954c5279e702
SHA512
68b883f4bc4e0e39162807ffae251782871f372850c469889ea5ba5cf59388e363b1de5bc8087ad8624a1466b52611d0e41d78c6c3e6ac8af7c6e6e5c35630c5
Versions
0.4.0
Source URLs
https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz