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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
