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)