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

2016-01-25 Thread Mehdi Dogguy
Control: reassign 812178 camlp5 Control: severity 812178 important Control: found 812178 camlp5/6.14-1 Control: fixed 812178 camlp5/6.14-2 On 21/01/2016 09:25, Mehdi Dogguy wrote: > Trying to build matita with a fixed camlp5 package that includes upstream > fix

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

2016-01-25 Thread Debian Bug Tracking System
Processing control commands: > reassign 812178 camlp5 Bug #812178 [matita] FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi Bug reassigned from package 'matita' to 'camlp5'. No longer marked as found in versions matita/0.99.1-3. Ignoring request to alter fixed

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

2016-01-21 Thread Mehdi Dogguy
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: