commit e22ccd72e1c954dabfe1c0949aababb1caa39df5
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:32:22 2026 +0400

sci-mathematics/evbt: new package; add 1.5.0

EventBTool generates documentation and executable code from Event-B
models created in the Rodin Platform. Upstream publishes a
self-executable jar (a shell stub followed by the jar archive); the
package installs the jar as-is with a java-config launcher. Requires
Java 22 or newer at runtime, expressed as >=virtual/jre-25 since no
intermediate JRE virtuals exist.

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