commit 6cf1e88ce5fb6fac6663eb6c3b16397109c2b3d0
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Sun Jun 14 07:14:25 2026 +0000

sci-mathematics/eventb-checker: add 1.6

Automated version bump by the version-check workflow.

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

commit 466c63078e39b796223d5bc056315e14cecb26b3
Author: Denis Efremov <efremov@linux.com>
Date: Thu Jun 11 21:40:24 2026 +0400

sci-mathematics/eventb-checker: drop 1.3, 1.4

Keep only the latest version per the overlay's one-version-per-package rule.

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

commit 458f76a9de8228ba5695888a9ac5a6f6e74dd0c1
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Thu Jun 11 17:15:07 2026 +0000

sci-mathematics/eventb-checker: add 1.5

Automated version bump by the version-check workflow.

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

commit 13920dc3f76e74724902519a14d5614848241ac9
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Wed Jun 10 04:42:06 2026 +0000

sci-mathematics/eventb-checker: add 1.4

Automated version bump by the version-check workflow.

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

commit f61025a6b7c9f487f2762053360f1157b20fd5bf
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:33:08 2026 +0400

sci-mathematics/eventb-checker: new package; add 1.3

Standalone validator for Event-B models that does not require a Rodin
Platform installation. Installs the fat jar published with upstream
releases. The launcher passes --enable-native-access=ALL-UNNAMED to
silence JNA warnings from the bundled Rodin AST libraries.

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