The text e7463024d508, as Debian 5.0 (Lenny) shipped it.
Input signature of the functor Set.Make.
Set.OrderedType(3o) on Linux now
