commit e5dade0dae5bc6d5f7b05864c4f398533dbda9d3
Author: Denis Efremov <efremov@linux.com>
Date: Tue Sep 29 21:21:04 2026 +0400

sci-mathematics/prob2-ui: package 1.4.0 from Debian artifact

Validate the embedded jar before opening automatic bump PRs and
fix the ProB system launcher for non-root users.

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

sci-mathematics/prob2-ui: add system ProB and LTSmin support

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

commit 820966d1a1408eb1c5ed9f0d37109998ae6d9f05
Author: Denis Efremov <efremov@linux.com>
Date: Tue Jun 9 08:45:09 2026 +0400

sci-mathematics/prob2-ui: new package, add 1.3.1

JavaFX-based ProB UI, packaged from the upstream multi-platform fat jar
(bundles the JavaFX runtime, so a plain JRE 21+ is enough).

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