why is marked for autoremoval from testing

2019-02-18 Thread Debian testing autoremoval watch
why 2.40-3 is marked for autoremoval from testing on 2019-03-07 It (build-)depends on packages with these RC bugs: 916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages. 918633: why3-coq: package should Depend on a specific Coq version

why is marked for autoremoval from testing

2019-01-29 Thread Debian testing autoremoval watch
why 2.40-3 is marked for autoremoval from testing on 2019-02-06 It (build-)depends on packages with these RC bugs: 916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages. 918633: why3-coq: package should Depend on a specific Coq version

why is marked for autoremoval from testing

2019-01-09 Thread Debian testing autoremoval watch
why 2.40-3 is marked for autoremoval from testing on 2019-02-06 It (build-)depends on packages with these RC bugs: 916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.

why is marked for autoremoval from testing

2018-12-20 Thread Debian testing autoremoval watch
why 2.40-3 is marked for autoremoval from testing on 2019-01-26 It (build-)depends on packages with these RC bugs: 916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.

why is marked for autoremoval from testing

2018-11-02 Thread Debian testing autoremoval watch
why 2.40-3 is marked for autoremoval from testing on 2018-11-29 It (build-)depends on packages with these RC bugs: 911159: frama-c: please stop building the frama-c GUI

why is marked for autoremoval from testing

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

why is marked for autoremoval from testing

2018-05-26 Thread Debian testing autoremoval watch
why 2.40-3 is marked for autoremoval from testing on 2018-07-02 It (build-)depends on packages with these RC bugs: 899084: why3: FTBFS: File `ifetex.sty' not found. Emergency stop.

why is marked for autoremoval from testing

2016-02-10 Thread Debian testing autoremoval watch
why 2.34-4 is marked for autoremoval from testing on 2016-03-18 It (build-)depends on packages with these RC bugs: 813596: coq-float: FTBFS: make[2]: *** No rule to make target 'depend'. Stop.

why is marked for autoremoval from testing

2016-01-21 Thread Debian testing autoremoval watch
why 2.34-4 is marked for autoremoval from testing on 2016-02-20 It (build-)depends on packages with these RC bugs: 802264: camlp5: matita: FTBFS with OCaml 4.02.3

why is marked for autoremoval from testing

2015-07-16 Thread Debian testing autoremoval watch
why 2.34-2 is marked for autoremoval from testing on 2015-07-25 It (build-)depends on packages with these RC bugs: 76: apron: ftbfs with GCC-5 -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

why is marked for autoremoval from testing

2015-06-25 Thread Debian testing autoremoval watch
why 2.34-2 is marked for autoremoval from testing on 2015-07-25 It (build-)depends on packages with these RC bugs: 76: apron: ftbfs with GCC-5 -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org