matita is marked for autoremoval from testing

matita 0.99.3-1 is marked for autoremoval from testing on 2017-09-20 It (build-)depends on packages with these RC bugs: 871277: libgdome2-cpp-smart0v5: requires rebuild against GCC 7 and symbols/shlibs bump

matita is marked for autoremoval from testing

matita 0.99.3-1 is marked for autoremoval from testing on 2018-03-03 It (build-)depends on packages with these RC bugs: 887577: ocamlnet: ocamlnet FTBFS with nettle 3.4-1

matita is marked for autoremoval from testing

matita 0.99.3-1 is marked for autoremoval from testing on 2018-11-12 It (build-)depends on packages with these RC bugs: 885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2

matita is marked for autoremoval from testing

matita 0.99.3-1 is marked for autoremoval from testing on 2018-12-11 It is affected by these RC bugs: 913606: matita: matita FTBFS with lablgtk2 2.18.5+dfsg-2

matita is marked for autoremoval from testing

matita 0.99.3-1 is marked for autoremoval from testing on 2018-12-11 It is affected by these RC bugs: 913606: matita: matita FTBFS with lablgtk2 2.18.5+dfsg-2

matita is marked for autoremoval from testing

matita 0.99.1-3 is marked for autoremoval from testing on 2015-08-15 It (build-)depends on packages with these RC bugs: 790819: ocamlnet: FTBFS: cannot stat 'debian/tmp//usr/lib/ocaml/netcamlbox': No such file or directory -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org

matita is marked for autoremoval from testing

matita 0.99.1-3 is marked for autoremoval from testing on 2015-09-06 It (build-)depends on packages with these RC bugs: 791052: gmetadom: library transition may be needed when GCC 5 is the default -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubsc

matita is marked for autoremoval from testing

matita 0.99.1-3 is marked for autoremoval from testing on 2015-11-24 It (build-)depends on packages with these RC bugs: 801550: ocamlnet: FTBFS -- unterminated string literal