Your message dated Thu, 6 Aug 2020 11:50:55 +0200 with message-id <eaa3dc4f-b516-bbc4-12be-0a064721d...@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 ow...@bugs.debian.org immediately.) -- 877857: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877857 Debian Bug Tracking System Contact ow...@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 ---
