commit 3f67557745b56c2853242287c95f7ed581e79612
Author: Denis Efremov <efremov@linux.com>
Date: Mon Jun 8 19:56:25 2026 +0400

sci-mathematics/rodin: drop unused foreign-ABI JNA native libs

The bundled JNA plugin ships libjnidispatch for ~two dozen foreign
OS/ABI combos as loose files in the exploded plugin dir. A 64-bit JVM
only ever loads the host (linux-x86-64) copy; the rest are dead weight.

The 32-bit linux-x86 build in particular records NEEDED=libc.so.6, which
on a multilib host makes portage preserve glibc's libc.so.6 forever: a
prebuilt blob can never be relinked, so @preserved-rebuild has nothing to
do, and REQUIRES_EXCLUDE only hid it from REQUIRES (not from NEEDED.ELF.2,
which drives preservation). Every glibc rebuild re-preserved libc.so.6.

Remove all native dispatch copies but the host ABI in src_install, and
drop the now-pointless REQUIRES_EXCLUDE.

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

commit 47be08e8af435ec6855e43615b6fc1527cab7a23
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:49:08 2026 +0400

sci-mathematics/rodin: new package; add 3.9.0, 3.10.0_rc2

The Rodin Platform is an Eclipse-based IDE for Event-B that provides
effective support for refinement and mathematical proof. Repackages
the prebuilt Eclipse RCP product from SourceForge into /opt/rodin with
a wrapper script and desktop entry. No JRE is bundled; a system
Java 17+ runtime is required. webkit-gtk is suggested for
browser-backed views.

Both the stable release and the current release candidate are
provided from the same package; release candidates are masked in
profiles/package.mask and need to be unmasked explicitly.

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