creduce is marked for autoremoval from testing
creduce 2.10.0+20220116-1 is marked for autoremoval from testing on 2023-09-08 It is affected by these RC bugs: 1043127: creduce: switch to current llvm default version https://bugs.debian.org/1043127 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20220116-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.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
creduce is marked for autoremoval from testing
creduce 2.10.0+20220116-1 is marked for autoremoval from testing on 2023-08-20 It (build-)depends on packages with these RC bugs: 1040537: frama-c: frama-c FTBFS: Error: This expression has type ... but an expression was expected of type https://bugs.debian.org/1040537 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20220116-1 is marked for autoremoval from testing on 2023-05-13 It (build-)depends on packages with these RC bugs: 1033701: frama-c: autopkgtest regression: cannot load plug-in 'why3' https://bugs.debian.org/1033701 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20220116-1 is marked for autoremoval from testing on 2023-05-13 It (build-)depends on packages with these RC bugs: 1033701: frama-c: autopkgtest regression: cannot load plug-in 'why3' https://bugs.debian.org/1033701 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20220116-1 is marked for autoremoval from testing on 2023-01-20 It (build-)depends on packages with these RC bugs: 1023712: frama-c: why3 breaks frama-c (autopkgtest): missing versioned Breaks? https://bugs.debian.org/1023712 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20201029-3 is marked for autoremoval from testing on 2022-07-03 It is affected by these RC bugs: 1000927: creduce: Please upgrade to llvm-toolchain-13 or 14 https://bugs.debian.org/1000927 It (build-)depends on packages with these RC bugs: 1010867: why3, src:frama-c: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995" https://bugs.debian.org/1010867 1011892: frama-c: FTBFS: make[1]: *** [share/Makefile.generic:78: src/plugins/wp/ProverWhy3.cmo] Error 2 https://bugs.debian.org/1011892 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20201029-3 is marked for autoremoval from testing on 2022-06-24 It is affected by these RC bugs: 1000927: creduce: Please upgrade to llvm-toolchain-13 or 14 https://bugs.debian.org/1000927 It (build-)depends on packages with these RC bugs: 1010867: why3, src:frama-c: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995" https://bugs.debian.org/1010867 1011892: frama-c: FTBFS: make[1]: *** [share/Makefile.generic:78: src/plugins/wp/ProverWhy3.cmo] Error 2 https://bugs.debian.org/1011892 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20201029-3 is marked for autoremoval from testing on 2022-06-24 It (build-)depends on packages with these RC bugs: 1010867: why3, src:frama-c: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995" https://bugs.debian.org/1010867 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20201029-3 is marked for autoremoval from testing on 2021-11-25 It (build-)depends on packages with these RC bugs: 995603: why3: FTBFS: pdflatex fails with no message https://bugs.debian.org/995603 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20201029-3 is marked for autoremoval from testing on 2021-11-15 It (build-)depends on packages with these RC bugs: 995603: why3: FTBFS: pdflatex fails with no message https://bugs.debian.org/995603 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
creduce is marked for autoremoval from testing
creduce 2.10.0+20201029-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-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
creduce is marked for autoremoval from testing
creduce 2.10.0-2 is marked for autoremoval from testing on 2019-12-29 It is affected by these RC bugs: 945886: creduce: build-depends on package that is not in testing.
creduce is marked for autoremoval from testing
creduce 2.10.0-2 is marked for autoremoval from testing on 2019-12-29 It is affected by these RC bugs: 945886: creduce: build-depends on package that is not in testing.
creduce is marked for autoremoval from testing
creduce 2.9~20181016-1 is marked for autoremoval from testing on 2018-12-12 It (build-)depends on packages with these RC bugs: 911159: frama-c: please stop building the frama-c GUI
creduce is marked for autoremoval from testing
creduce 2.9~20181016-1 is marked for autoremoval from testing on 2018-11-16 It (build-)depends on packages with these RC bugs: 885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 909542: opam: FTBFS when built with dpkg-buildpackage -A 910222: opam: copyright file missing after upgrade (policy 12.5) 911159: frama-c: please stop building the frama-c GUI
creduce is marked for autoremoval from testing
creduce 2.8.0-1 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
creduce is marked for autoremoval from testing
creduce 2.5.0-1 is marked for autoremoval from testing on 2016-11-20 It (build-)depends on packages with these RC bugs: 837456: frama-c: FTBFS with bindnow and PIE enabled
creduce is marked for autoremoval from testing
creduce 2.3.0-1 is marked for autoremoval from testing on 2016-03-21 It (build-)depends on packages with these RC bugs: 812658: astyle: FTBFS with DEB_BUILD_OPTIONS=nostrip - mv: cannot stat bin/astyled: No such file or directory 814580: astyle: FTBFS: jni.h:45:20: fatal error: jni_md.h: No such file or directory
creduce is marked for autoremoval from testing
creduce 2.3.0-1 is marked for autoremoval from testing on 2016-03-09 It (build-)depends on packages with these RC bugs: 812658: astyle: FTBFS with DEB_BUILD_OPTIONS=nostrip - mv: cannot stat bin/astyled: No such file or directory
creduce is marked for autoremoval from testing
creduce 2.3.0-1 is marked for autoremoval from testing on 2015-11-26 It (build-)depends on packages with these RC bugs: 801695: clang-3.6: clang segfaults on hello world on arm64
