The text b85dadecff79, as Debian 12 (Bookworm) shipped it.
Convert lp StarPU schedule into Paje format
starpu_lp2paje(1) on Linux now
