The text 7cf0cf3ef7ec, as Debian 12 (Bookworm) shipped it.
mixed systems solver (rheolef-7.2)
solver_abtb(4rheolef) on Linux now
