Debian distribution

A debian package is available in the official Debian archive ( release "unstable", "main" section ).

To install it, use the command : apt-get install libgettext-ocaml-dev .