DIST eventb-animate-5.1.jar 98365831 BLAKE2B 71a567a2b22c5a73736f2513d723c9342cb3a2d8a8b9ef775464ba078aac22d38a72c5b828e30ae956b334b93acf426060b2898cbbc05a93a12991854b334a2c SHA512 0e2da04f42d3d866d626b6603090eb478c2f7030a91d79f3587024663c40559bf3d6ec316c42b7e04886e3efe421608186d383d718f0846ac514ab4a5125fec1
DIST eventb-animate-6.0.jar 98472774 BLAKE2B 59261f4ac9bfc2c4c6ac0ea5f9c65a4da3dfc3f4c8569ba7d11eeb122fac703e7ba74348317e90266667812269424bda76c7533bcb0bb546aed754ef9f854c35 SHA512 5a8ca301679665fed319862ebaa3feeea72a064e84e16845796397f9d0d4d22304ab8c8d5b654296afb88ab18b04cc5db99d2e8487b5bf4d77189f3f29d71cc0
DIST eventb-animate-6.1.jar 98504393 BLAKE2B 557acd892bfd18a3c2ce76813c9097236e58488cb4e1400607339bb82d50bed9dd0d648940e0a6af0f8e15b32690d152c3b3de8562a1295bf6d520beed947002 SHA512 55df1b137c962606df291b49c720ec6e618f9ac00db87d24eaadbf182e74c1f65a885c234d400f62864622ff6544c16482b405acf654551a0f13299bf062e79c
DIST eventb-animate-6.2.jar 98581904 BLAKE2B e3ffc00fd780beeb287a28029dcf43b7ff9b1516fee778eb5d5f7c3db5dcd696eafdc5c7663eb8a2c30f3ef820a27aeb7d7f205818cfe4432fe04efb5539e8c2 SHA512 d85073000ba5360abb0445a68ce49d4d34f11ad6e93f4fe02b36176d1a57ee5ff04dcabb843c23dad67d4458758664eb83d47abfbff95e23d1904fedacf6241f
DIST eventb-animate-6.3.jar 98581903 BLAKE2B 762f03b389c32335240d197059336f81aff1660dcaccc68e4c8385cacaf3b44292669634f5590ab788dfef49c845566c2657af9299293c7210539312e771c881 SHA512 a4dc821a6e01474fb6d5e6530047003b753eb07e84692d10e5be8d0f822d0eed501f1e74ae18711df61566d6a42663494d9f958ecdb391f99132b200858da74b