Bug#387131: libgetopt-ocaml-dev: Does not install getopt.mli

2006-09-12 Thread Stefano Zacchiroli
On Tue, Sep 12, 2006 at 01:37:58PM +0200, Sébastien Hinderer wrote: > /usr/lib/ocaml/version/getopt. Also the absence of this file does not > privent one from compiling programs and linking them to the Getopt > library, I think the .mli should be installed, since installing .mli > filesseems to be

Bug#387131: libgetopt-ocaml-dev: Does not install getopt.mli

2006-09-12 Thread Sébastien Hinderer
Package: libgetopt-ocaml-dev Version: 0.0.20040811-5+b1 Severity: normal It would be nice to also install getopt.mli under /usr/lib/ocaml/version/getopt. Also the absence of this file does not privent one from compiling programs and linking them to the Getopt library, I think the .mli should be in