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>