CamlinternalMenhirLib.InspectionTableInterpreter.Symbols(3o) on Linux

The text 1159880ae604, as Debian 11 (Bullseye) shipped it.

no description