The text 94cc1614bc59, as Debian 10 (Buster) shipped it. The page shows this text now.
mixed_solver(4rheolef) on Linux now
