Bug#812178: FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi

[Mehdi Dogguy <mehdi@debian.org>]

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)