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
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
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:
3 matches
Mail list logo