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 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 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 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 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 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 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 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 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 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 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
11 matches
Mail list logo