Gentoo Packages
Gentoo Packages
>
eventb-rossi
>
Categories
>
sci-mathematics
>
eventb-to-txt
> Manifest > eventb-to-txt-1.7.gh.tar.gz
sci-mathematics
/
eventb-to-txt
- Manifest: eventb-to-txt-1.7.gh.tar.gz
Details
Type
DIST
File
eventb-to-txt-1.7.gh.tar.gz
Size
10803 bytes
Hashes
Type
Value
BLAKE2B
3dc78d0daebb04937a4316a8428e3472edb3bd082dbd425299611071210789746349d8969b151ec298d6e6bcef5a716e4ac53bb5cfd1c67b8babf0fb2aa194dc
SHA512
6fdbf02c8d4e426afccbd5a2092fd359fc6809dcc3f0c7a9b831a95d80f1416221f78bb3e77d01147fed0fed1f7bfb94cdb6bac787331a2f59e4121fc8e5db73
Versions
1.7
Source URLs
https://github.com/eventb-rossi/eventb-to-txt/archive/refs/tags/v1.7.tar.gz