Gentoo Packages
Gentoo Packages
>
eventb-rossi
>
Categories
>
sci-mathematics
>
eventb-animate
> Manifest > eventb-animate-7.1-linux64.jar
sci-mathematics
/
eventb-animate
- Manifest: eventb-animate-7.1-linux64.jar
Details
Type
DIST
File
eventb-animate-7.1-linux64.jar
Size
34116936 bytes
Hashes
Type
Value
BLAKE2B
492dd303b703038213f4fdb56b1a954469f77e44bf649d3165d623edac2794b29a046a585e566cb5bdeb91f93554a00ccdb2eb76ee4dc5ad630b0333a72903f6
SHA512
c4e3eb998357e9d5a71be03359b696934d8f28c60f4e71998ec3b36188940d3ee4f2dd001cf51bf86a6d900477f7e0da620a46bb305ac3aea89bc8b3e8b5ac74
Versions
7.1
Source URLs
https://github.com/eventb-rossi/eventb-animate/releases/download/v7.1/eventb-animate-7.1-linux64.jar