The text 9f66fb0b397a, as Debian 8 (Jessie) shipped it.
The input signature of the functor Hashtbl.Make.
Hashtbl.HashedType(3o) on Linux now
