The text 325dea2f73f6, as Debian 12 (Bookworm) shipped it.
Input signature of the functor Set.Make.
Set.OrderedType(3o) on Linux now
