Gentoo Packages
Gentoo Packages
>
eventb-rossi
>
Categories
>
sci-mathematics
>
ltsmin
> Manifest > ltsmin-spins-bfca30be3ce81fd77b31b9d47043145ae66ddc96.tar.gz
sci-mathematics
/
ltsmin
- Manifest: ltsmin-spins-bfca30be3ce81fd77b31b9d47043145ae66ddc96.tar.gz
Details
Type
DIST
File
ltsmin-spins-bfca30be3ce81fd77b31b9d47043145ae66ddc96.tar.gz
Size
1143114 bytes
Hashes
Type
Value
BLAKE2B
70dfe799c0edcf0137898c86caca33a761d5d0c64d86a010b37b02555aa9fd84d47c8c8ef95e084b3aec81cf6b29ca60d237fcacf0deafe85e5dd92c47c17590
SHA512
c2c72e3e4e6bc57fa5436735e62aa1ab45f493565802e63ed384f5d66eddee086519c7de6bcb4043de1a5d2119edf272d72c89b96e8d74eeae9a2e746fcee14d
Versions
3.0.2
Source URLs
https://github.com/utwente-fmt/spins/archive/bfca30be3ce81fd77b31b9d47043145ae66ddc96.tar.gz