The text 54577ad72b89, as Debian 10 (Buster) shipped it.
Input signature of the functor Set.Make.
Set.OrderedType(3o) on Linux now
