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 ow...@bugs.debian.org with problems
