aac-tactics is marked for autoremoval from testing
aac-tactics 8.19.1-1 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/mailer/mail_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.19.1-1 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: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.18.0-1 is marked for autoremoval from testing on 2024-07-14 It (build-)depends on packages with 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-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.17.0-3 is marked for autoremoval from testing on 2024-01-21 It (build-)depends on packages with 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_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.17.0-3 is marked for autoremoval from testing on 2023-12-30 It (build-)depends on packages with 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_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.17.0-3 is marked for autoremoval from testing on 2023-12-30 It (build-)depends on packages with 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_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.17.0-2 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.org/1042103 This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.15.1-4 is marked for autoremoval from testing on 2022-07-12 It (build-)depends on packages with 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 1012061: coq, src:coquelicot: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac https://bugs.debian.org/1012061 This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.15.1-4 is marked for autoremoval from testing on 2022-07-12 It (build-)depends on packages with 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 1012061: coq, src:coquelicot: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac https://bugs.debian.org/1012061 This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.15.1-3 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 This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.11.0-1 is marked for autoremoval from testing on 2020-10-15 It is affected by these RC bugs: 970454: aac-tactics: FTBFS in sid https://bugs.debian.org/970454 This mail is generated by: https://salsa.debian.org/release-team/release-tools/-/blob/master/mailer/mail_autoremovals.pl Autoremoval data is generated by: https://salsa.debian.org/qa/udd/-/blob/master/udd/testing_autoremovals_gatherer.pl
aac-tactics is marked for autoremoval from testing
aac-tactics 8.9.0-1 is marked for autoremoval from testing on 2020-04-04 It (build-)depends on packages with these RC bugs: 911166: gtksourceview2: Do not release with Bullseye 952454: coq: patch to use python3 (missing tests)
aac-tactics is marked for autoremoval from testing
aac-tactics 8.9.0-1 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
aac-tactics is marked for autoremoval from testing
aac-tactics 8.6.1-2 is marked for autoremoval from testing on 2019-02-06 It is affected by these RC bugs: 919463: aac-tactics: aac-tactics ftbfs in unstable It (build-)depends on packages with these RC bugs: 916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.
aac-tactics is marked for autoremoval from testing
aac-tactics 8.6.1-2 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.
aac-tactics is marked for autoremoval from testing
aac-tactics 8.6.1-2 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.
aac-tactics is marked for autoremoval from testing
aac-tactics 8.6.1-2 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
aac-tactics is marked for autoremoval from testing
aac-tactics 0.4-5 is marked for autoremoval from testing on 2016-03-02 It is affected by these RC bugs: 813459: aac-tactics: FTBFS: Error: The constructor vcons (in type vT) expects 2 arguments.
aac-tactics is marked for autoremoval from testing
aac-tactics 0.4-5 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