commit 7cea099ec80bdfbdf861ac5926fda08598017e8a
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Sun Jul 26 08:47:15 2026 +0000

sci-mathematics/eventb-animate: add 6.3

Automated version bump by the version-check workflow.

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

commit dc6ae863714c7a5fefd83ff9edf661d744e03dec
Author: Denis Efremov <efremov@linux.com>
Date: Tue Jul 21 12:55:49 2026 +0400

sci-mathematics/eventb-animate: update repaired 6.2 distfile

commit 9c0922b4001bbb24e8ba3f82da4f08f8331971d0
Author: Denis Efremov <efremov@linux.com>
Date: Tue Jul 21 11:06:21 2026 +0400

sci-mathematics/eventb-animate: use versioned jar

commit 2341a4d0dea003bd10feedd619e8977b36ee9729
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Tue Jul 21 06:22:09 2026 +0000

sci-mathematics/eventb-animate: add 6.2

Automated version bump by the version-check workflow.

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

commit 57134defba5a8ac5c6bba2df01f60c52f0ac2b47
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jul 20 10:03:01 2026 +0400

sci-mathematics/eventb-animate: add system ProB and LTSmin support

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

commit 6b1922f441aba8c5d4e43482439c79da052ac0bc
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Sun Jul 19 13:48:04 2026 +0000

sci-mathematics/eventb-animate: add 6.1

Automated version bump by the version-check workflow.

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

commit 4fabeacbdf4fe88c53e32c620c75d29cdb09bf9d
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Tue Jul 7 08:26:56 2026 +0000

sci-mathematics/eventb-animate: add 6.0

Automated version bump by the version-check workflow.

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

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>