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

Bug#877857: marked as done (libppx-tools-ocaml-dev: Incompatibility with ocaml-compiler-libs)

Your message dated Thu, 6 Aug 2020 11:50:55 +0200
with message-id <eaa3dc4f-b516-bbc4-12be-0a064721dffb@debian.org>
and subject line Re: libppx-tools-ocaml-dev: Incompatibility with ocaml-compiler-libs
has caused the Debian Bug report #877857,
regarding libppx-tools-ocaml-dev: Incompatibility with ocaml-compiler-libs
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.)


-- 
877857: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877857
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: libppx-tools-ocaml-dev
Version: 5.0+4.05.0-1
Severity: important

Dear Maintainer,

since yesterday's update of ocaml to 4.05.0-10, compiling code using
ppx_tools is broken:
File "/tmp/ocamlppe053e11aa190ec8148a246aca5b862af", line 1:
Error: Files /usr/lib/ocaml/ppx_tools/ppx_tools.cmxa
       and /usr/lib/ocaml/compiler-libs/ocamlcommon.cmxa
       make inconsistent assumptions over implementation Location

ppx-tools probably needs a rebuild ?

Regards,
Raphaël

--- End Message ---
--- Begin Message --- 
Version: 5.3+4.08.0-1

Probaly fixed for a while. Closing.

Cheers,

-- 
Stéphane

--- End Message ---
Reply to: