| Type | DIST |
|---|---|
| File | eventb-animate-6.0.jar |
| Size | 98472774 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 59261f4ac9bfc2c4c6ac0ea5f9c65a4da3dfc3f4c8569ba7d11eeb122fac703e7ba74348317e90266667812269424bda76c7533bcb0bb546aed754ef9f854c35 |
| SHA512 | 5a8ca301679665fed319862ebaa3feeea72a064e84e16845796397f9d0d4d22304ab8c8d5b654296afb88ab18b04cc5db99d2e8487b5bf4d77189f3f29d71cc0 |