The text 1bcff91f1675, as Debian 12 (Bookworm) shipped it.
no description
CamlinternalMenhirLib.Convert.Simplified(3o) on Linux now