Gentoo Packages
Gentoo Packages
>
eventb-rossi
>
Categories
>
sci-mathematics
>
rodin-headless
> Manifest > rodin-headless-4.0.tar.gz
sci-mathematics
/
rodin-headless
- Manifest: rodin-headless-4.0.tar.gz
Details
Type
DIST
File
rodin-headless-4.0.tar.gz
Size
55119 bytes
Hashes
Type
Value
BLAKE2B
a9d17afd2c5ab6ec6bc86ee58aefdefc967dfc81286e330f2e7cf8c323401a319ea46aba10950a648a7d0fe711ac7f4b9e245cf4aba1d7c5f5a26e1bc3068e09
SHA512
a4f6ce50dafff27107c4fb1e649a4506d6af1a2d9480927cb694f57486e30d09b6a9f9fdb0cb30a2403c6af9ef324dcf573f28b790e0b31bd3bc92c6ea4974a2
Versions
4.0
Source URLs
https://github.com/eventb-rossi/rodin-headless/archive/refs/tags/v4.0.tar.gz