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

[owner@bugs.debian.org (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 versions of bug #812178 to the same values previously set
> severity 812178 important
Bug #812178 [camlp5] FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi
Severity set to 'important' from 'serious'
> found 812178 camlp5/6.14-1
Bug #812178 [camlp5] FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi
Marked as found in versions camlp5/6.14-1.
> fixed 812178 camlp5/6.14-2
Bug #812178 [camlp5] FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi
The source camlp5 and version 6.14-2 do not appear to match any binary packages
Marked as fixed in versions camlp5/6.14-2.

-- 
812178: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812178
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems