Processed: metadata

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # The libxml2 downgrade has made these failures not to happen anymore
> # Downgrading and not closing because the changes are still desired
> severity 1073309 important
Bug #1073309 [src:cegui-mk2] cegui-mk2: FTBFS: XMLParser.cpp:102:40: error: invalid conversion from ‘const xmlError*’ {aka ‘const _xmlError*’} to ‘xmlError*’ {aka ‘_xmlError*’} [-fpermissive]
Severity set to 'important' from 'serious'
> severity 1073307 important
Bug #1073307 [src:eclipse-titan] eclipse-titan: FTBFS: XMLParser.cc:193:38: error: invalid conversion from ‘const xmlError*’ {aka ‘const _xmlError*’} to ‘xmlErrorPtr’ {aka ‘_xmlError*’} [-fpermissive]
Severity set to 'important' from 'serious'
> severity 1073425 important
Bug #1073425 [src:php-oscarotero-gettext] php-oscarotero-gettext: FTBFS: make[1]: *** [debian/rules:18: override_dh_auto_test] Error 1
Severity set to 'important' from 'serious'
> severity 1077422 important
Bug #1077422 [src:prelude-manager] prelude-manager: FTBFS: xmlmod.c:51:1: error: implicit declaration of function 'free' [-Wimplicit-function-declaration]
Severity set to 'important' from 'serious'
> severity 1073328 important
Bug #1073328 [src:scram] scram: FTBFS: xml.cc:31:42: error: invalid conversion from ‘const xmlError*’ {aka ‘const _xmlError*’} to ‘xmlErrorPtr’ {aka ‘_xmlError*’} [-fpermissive]
Severity set to 'important' from 'serious'
> # this one was unsatisfiable build-depends, but it builds again
> close 1081103
Bug #1081103 [src:skorch] skorch: FTBFS: unsatisfiable build-depends
Marked Bug as done
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1073307: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073307
1073309: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073309
1073328: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073328
1073425: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073425
1077422: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1077422
1081103: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1081103
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems