matita is marked for autoremoval from testing

2018-12-09 Thread Debian testing autoremoval watch 
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

2018-11-19 Thread Debian testing autoremoval watch 
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

2018-10-13 Thread Debian testing autoremoval watch 
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

2018-01-25 Thread Debian testing autoremoval watch 
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

2017-08-14 Thread Debian testing autoremoval watch 
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

2015-10-18 Thread Debian testing autoremoval watch 
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

matita is marked for autoremoval from testing

2015-08-06 Thread Debian testing autoremoval watch 
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 unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/e1znzqv-0004i0...@franck.debian.org

matita is marked for autoremoval from testing

2015-07-09 Thread Debian testing autoremoval watch 
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
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/e1zdq5c-0002xr...@franck.debian.org