solver_abtb(4rheolef) on Linux

The text 7ab0b93da83c, as Debian 13 (Trixie) shipped it. The page shows this text now.

mixed systems solver (rheolef-7.2)

solver_abtb(4rheolef) on Linux now