commit 3cccf2d1590176fbd40b4e2dc4c7f5a166fc25ae
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 14:08:30 2026 +0400

sci-mathematics/atelier-b: new package; add 24.04.2

Atelier B Community Edition, ClearSy's IDE for the B method: type
checking, proof obligation generation, automatic and interactive
provers, and code generation from B models.

Repackages the vendor binary distribution into /opt. The vendor
binaries are built against Qt 5 and ICU 73, neither of which Gentoo
ships any longer, so the matching runtime libraries (Qt 5 modules,
the xcb platform integration, ICU, libsystemd) are bundled from the
Fedora 39 release the vendor package targets; everything else
resolves against system libraries. A wrapper script sets
LD_LIBRARY_PATH and QT_PLUGIN_PATH accordingly.

The freeware license is added to the overlay as Atelier-B-Community
and has to be accepted in /etc/portage/package.license.

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