commit 765083904cac4993beaf2ed15142cb36fd7e4ad0
Author: Denis Efremov <efremov@linux.com>
Date: Thu Jul 2 12:48:58 2026 +0400

sci-mathematics/eventb-animate: drop 5.0

Superseded by 5.1 (same keywords); keep a single version.

Signed-off-by: Denis Efremov <efremov@linux.com>

commit 30ad7ae60f57a884d64969f447bda27033c7b7a6
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Thu Jun 25 17:08:25 2026 +0000

sci-mathematics/eventb-animate: add 5.1

Automated version bump by the version-check workflow.

Signed-off-by: Denis Efremov <efremov@linux.com>

commit 9a58e10eb2a6e7deeab494f6831ba9fc9e8c1855
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:35:21 2026 +0400

sci-mathematics/eventb-animate: new package; add 5.0

Animate Event-B models with the ProB model checker: random animation,
invariant checking, and trace save/replay, no Rodin required. Installs
the fat jar published with upstream releases. The launcher sets
-Dsun.misc.unsafe.memory.access=allow, which suppresses sun.misc.Unsafe
deprecation warnings from the bundled Guice on JDK 23+ while being
ignored gracefully by older JVMs, keeping the JRE 21 baseline.
The ProB kernel is downloaded into ~/.prob on first use.

Signed-off-by: Denis Efremov <efremov@linux.com>