The text e7efb100986f, as Debian 7 (Wheezy) shipped it.
Types shared by client and server.
Eliom_types.server(3o) on Linux now
