The text 77c612c2311f, as Debian 11 (Bullseye) shipped it.
mixed systems solver (rheolef-7.1)
solver_abtb(4rheolef) on Linux now
