Your message dated Thu, 13 Jul 2017 04:46:24 +0200 with message-id <[email protected]> and subject line Fixed in 6.16-1 has caused the Debian Bug report #812178, regarding FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi 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 [email protected] immediately.) -- 812178: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812178 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: matita Version: 0.99.1-3 Severity: serious Dear Maintainer, Trying to build matita with a fixed camlp5 package that includes upstream fix (caca3dd0643ec5aae9df4399fa73eb280808ef18) fails with the following error: OCAMLC hExtlib.ml File "hExtlib.ml", line 463, characters 10-23: Warning 3: deprecated: String.create Use Bytes.create instead. File "hExtlib.ml", line 1: Error: The implementation hExtlib.ml does not match the interface hExtlib.cmi: Values do not match: val find : ?test:(string -> bool) -> string -> string list is not included in val find : ?test:<hidden> -> string -> string list File "hExtlib.ml", line 530, characters 4-8: Actual declaration ../Makefile.common:99: recipe for target 'hExtlib.cmo' failed make: *** [hExtlib.cmo] Error 2 I have to admit that the error is quite strange and the cause might not be a bug in matita but elsewhere. I am assigning the bug to matita as it is the only package affected by this and until the root cause is correctly identified. Regards, -- System Information: Debian Release: stretch/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 4.3.0-1-amd64 (SMP w/4 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system)
--- End Message ---
--- Begin Message ---Version: 6.16-1
--- End Message ---
