The text da6dd0aa8917, as Debian 7 (Wheezy) shipped it.
Manage server-side state.
Eliom_state.server(3o) on Linux now
