Gentoo Packages
Gentoo Packages
>
eventb-rossi
>
Categories
>
sci-mathematics
>
rodin-headless
> Manifest > rodin-headless-5.0.tar.gz
sci-mathematics
/
rodin-headless
- Manifest: rodin-headless-5.0.tar.gz
Details
Type
DIST
File
rodin-headless-5.0.tar.gz
Size
66435 bytes
Hashes
Type
Value
BLAKE2B
bdce1e3e3c33e67f95b80cc38157b7fe497fdd2e4225dede2707f48fa2a93bc138d37e993cf29a40e1b2ecc9de4f257395c4f23912d0065ca377820f7e41f0dc
SHA512
45930abfe1a6c18f9d0d14bb781e97970624e6fae7390fe74c47842cbef045285a82ff3d8c8ddc54b2a22b2e0e24a254a9225e8cbb91b12e3c1ec1f99cc143c3
Versions
5.0
Source URLs
https://github.com/eventb-rossi/rodin-headless/archive/refs/tags/v5.0.tar.gz