The text 7f46ee123e30, as Debian 11 (Bullseye) shipped it.
no description
CamlinternalMenhirLib(3o) on Linux now
