Eliom_registration.Registration.server(3o) on Linux

The text 5462e8287891, as Debian 7 (Wheezy) shipped it.

Abstract signature for service registration functions.

Eliom_registration.Registration.server(3o) on Linux now