[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#736322: marked as done (libcoq-ocaml-dev: It should depend on ocaml-best-compilers)

Your message dated Sun, 26 Apr 2020 21:30:11 +0200
with message-id <20200426193011.GD79510@seneca.home.org>
and subject line Re: libcoq-ocaml-dev: It should depend on ocaml-best-compilers
has caused the Debian Bug report #736322,
regarding libcoq-ocaml-dev: It should depend on ocaml-best-compilers
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
736322: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=736322
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
ocaml-best-compilers is now a purely virtual package provided by
ocaml-nox, so this is no longer relevant.

-Ralf.

--- End Message ---
Reply to: