coq 8.20.1+dfsg-1 is marked for autoremoval from testing on 2025-10-26
It (build-)depends on packages with these RC bugs:
1112751: aspcud: FTBFS with CMake 4
https://bugs.debian.org/1112751
1112978: gringo: FTBFS with CMake 4
https://bugs.debian.org/1112978
For more information on the autorem
coq 8.20.1+dfsg-1 is marked for autoremoval from testing on 2025-10-04
It (build-)depends on packages with these RC bugs:
1096282: aflplusplus: ftbfs with GCC-15
https://bugs.debian.org/1096282
For more information on the autoremoval process, including hints to prevent
autoremoval can be found
coq 8.19.1+dfsg-3 is marked for autoremoval from testing on 2024-11-12
It (build-)depends on packages with these RC bugs:
1082976: opam: FTBFS: build fails with linking error
https://bugs.debian.org/1082976
For more information on the autoremoval process, including hints to prevent
autoremoval
coq 8.19.1+dfsg-2 is marked for autoremoval from testing on 2024-09-01
It (build-)depends on packages with these RC bugs:
1075055: gtksourceview3: ftbfs with GCC-14
https://bugs.debian.org/1075055
This mail is generated by:
https://salsa.debian.org/release-team/release-tools/-/blob/master/mail
coq 8.19.1+dfsg-2 is marked for autoremoval from testing on 2024-08-23
It (build-)depends on packages with these RC bugs:
1075055: gtksourceview3: ftbfs with GCC-14
https://bugs.debian.org/1075055
1075126: lablgtk3: ftbfs with GCC-14
https://bugs.debian.org/1075126
This mail is generated by:
coq 8.18.0+dfsg-1 is marked for autoremoval from testing on 2024-07-14
It is affected by these RC bugs:
1072308: coq: fails to migrate to testing for too long: autopkgtest issues due
to dependencies
https://bugs.debian.org/1072308
This mail is generated by:
https://salsa.debian.org/release-te
coq 8.17.0+dfsg-1 is marked for autoremoval from testing on 2024-01-21
It is affected by these RC bugs:
1056062: coq: FTBFS in sid (dune update?)
https://bugs.debian.org/1056062
This mail is generated by:
https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremoval
coq 8.17.0+dfsg-1 is marked for autoremoval from testing on 2023-12-30
It is affected by these RC bugs:
1056062: coq: FTBFS in sid (dune update?)
https://bugs.debian.org/1056062
This mail is generated by:
https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremoval
coq 8.17.0+dfsg-1 is marked for autoremoval from testing on 2023-12-30
It is affected by these RC bugs:
1056062: coq: FTBFS in sid (dune update?)
https://bugs.debian.org/1056062
This mail is generated by:
https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremoval
coq 8.17.0+dfsg-1 is marked for autoremoval from testing on 2023-09-08
It (build-)depends on packages with these RC bugs:
1042100: lablgtk3: lablgtk3 FTBFS with ocaml-dune 3.9.1
https://bugs.debian.org/1042100
1042103: ocaml-cairo2: ocaml-cairo2 FTBFS with ocaml-dune 3.9.1
https://bugs.debian.or
coq 8.15.1+dfsg-1 is marked for autoremoval from testing on 2022-07-12
It is affected by these RC bugs:
1012060: coq, src:coq-bignums: coq breaks coq-bignums autopkgtest: Compiled
library Bignums.BigN.BigN makes inconsistent assumptions over library
Coq.Init.Ltac
https://bugs.debian.org/1012060
coq 8.15.1+dfsg-1 is marked for autoremoval from testing on 2022-06-30
It (build-)depends on packages with these RC bugs:
1011146: nvidia-graphics-drivers-tesla-470: CVE-2022-28181, CVE-2022-28183,
CVE-2022-28184, CVE-2022-28185, CVE-2022-28191, CVE-2022-28192
https://bugs.debian.org/1011146
coq 8.12.0-3 is marked for autoremoval from testing on 2021-04-25
It (build-)depends on packages with these RC bugs:
985108: libgraphics-ocaml: missing Breaks+Replaces: libfindlib-ocaml (<<
1.8.1-2~)
https://bugs.debian.org/985108
This mail is generated by:
https://salsa.debian.org/release-te
coq 8.9.1-5 is marked for autoremoval from testing on 2020-04-04
It is affected by these RC bugs:
952454: coq: patch to use python3 (missing tests)
It (build-)depends on packages with these RC bugs:
911166: gtksourceview2: Do not release with Bullseye
coq 8.9.1-5 is marked for autoremoval from testing on 2020-03-15
It (build-)depends on packages with these RC bugs:
911166: gtksourceview2: Do not release with Bullseye
coq 8.6-5 is marked for autoremoval from testing on 2019-03-07
It is affected by these RC bugs:
916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.
coq 8.6-5 is marked for autoremoval from testing on 2019-02-06
It is affected by these RC bugs:
916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.
coq 8.6-5 is marked for autoremoval from testing on 2019-02-06
It is affected by these RC bugs:
916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.
coq 8.6-5 is marked for autoremoval from testing on 2019-01-26
It is affected by these RC bugs:
916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.
coq 8.6-5 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
coq 8.4pl4dfsg-3 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
21 matches
Mail list logo
