commit 4d266209603b84915ebe0aad57b3b51f8bd6719c
Author: evdenis <150761+evdenis@users.noreply.github.com>
Date: Wed Aug 5 09:17:53 2026 +0000

sci-mathematics/prob-bin: add 1.16.0

Automated version bump by the version-check workflow.

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

commit cd841471286d8caf81f3268ecb9d49f40179bd39
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jul 20 10:00:37 2026 +0400

sci-mathematics/prob-bin: add optional LTSmin integration

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

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

sci-mathematics/prob-bin: new package, add 1.15.1

Prebuilt ProB Tcl/Tk distribution: the prob (Tcl/Tk GUI) and probcli
(command line) SICStus-Prolog binaries, with the bundled parser jars and
native helper libraries. Source exists but needs the commercial SICStus
compiler, so it is unreasonable to build in Portage; hence -bin.

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