coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.11-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 o

coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.11-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

coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.10-4 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 preven

coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.10-3 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/-/blo

coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.10-3 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 g

coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.9-2 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

coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.9-1 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/

coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.9-1 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/

coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.9-1 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/

coq-relation-algebra is marked for autoremoval from testing

coq-relation-algebra 1.7.9-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://bu