commit e008e0d633e4b09ef847defcaafce433ec61bca5
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Mon Jul 6 23:13:36 2026 +0000

sci-mathematics/eventb-checker: add 1.11

Automated version bump by the version-check workflow.

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

commit a4cda4b07e5d7020a200aeb15df315ec90fe97e9
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Fri Jul 3 22:08:47 2026 +0000

sci-mathematics/eventb-checker: add 1.10

Automated version bump by the version-check workflow.

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

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

sci-mathematics/eventb-checker: drop 1.7, 1.8

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

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

commit 8100d532393cd601bf75dffafb174fa9f249facf
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Wed Jul 1 21:22:25 2026 +0000

sci-mathematics/eventb-checker: add 1.9

Automated version bump by the version-check workflow.

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

commit 94c61925f47cd6beeaca887b80d09fee89427547
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Thu Jun 25 16:58:25 2026 +0000

sci-mathematics/eventb-checker: add 1.8

Automated version bump by the version-check workflow.

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

commit ecac211e3c8949cebed62a862e130637e418ca36
Author: Denis Efremov <efremov@linux.com>
Date: Wed Jun 17 18:29:06 2026 +0400

sci-mathematics/eventb-checker: drop 1.5, 1.6

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

commit 9e62c8875fa1e8cf0b19b902e157f22cc81ee9b8
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Wed Jun 17 11:21:10 2026 +0000

sci-mathematics/eventb-checker: add 1.7

Automated version bump by the version-check workflow.

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

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>