Bug#736322: libcoq-ocaml-dev: It should depend on ocaml-best-compilers

[Pierre Boutillier <pierre.boutillier@laposte.net>]

Package: libcoq-ocaml-dev
Version: 8.4pl2dfsg-4
Severity: minor

Dear Maintainer,
please see https://coq.inria.fr/bugs/show_bug.cgi?id=3215

Authors of plugins for coq are encouraged to use coq_makefile to generate their Makefile.

Makefiles generated by coq_makefile ask coqtop for the ocaml compilers it has been compiled with in order to use it too. (It is done by "coqtop -config".)

Therefore, ocamlc.opt and ocamlopt.opt have to be available under platforms where coqtop has been compiled with them ...

All the best,
Pierre B.

-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 3.12-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages libcoq-ocaml-dev depends on:
ii  camlp5 [camlp5-ejbq9]                                6.11-2
ii  coq                                                  8.4pl2dfsg-4
ii  libc6                                                2.17-97
ii  libcoq-ocaml [libcoq-ocaml-t09a6]                    8.4pl2dfsg-4
ii  liblablgtk2-ocaml-dev [liblablgtk2-ocaml-dev-fwbz8]  2.16.0+dfsg-1
ii  ocaml-nox [ocaml-nox-4.01.0]                         4.01.0-3

libcoq-ocaml-dev recommends no packages.

libcoq-ocaml-dev suggests no packages.

-- no debconf information