commit 5af4897540d20edce602b3ab3ea2ba4240765db1
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:38:43 2026 +0400

sci-mathematics/tlc4b: new package; add 1.2.3

TLC4B model-checks classical B specifications by translating them to
TLA+ and running the TLC model checker. The release jar and its
complete dependency closure (seven artifacts) are fetched from Maven
Central and installed with a java-config launcher.

All Maven Central artifacts are PGP-signed: USE=verify-sig checks the
de.hhu.stups jars against the STUPS group key and commons-cli against
the Apache Commons keyring.

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