creduce is marked for autoremoval from testing

2024-06-22 Thread Debian testing autoremoval watch
creduce 2.11.0~20231125-2 is marked for autoremoval from testing on 2024-06-23 It is affected by these RC bugs: 1071849: creduce: fails to migrate to testing for too long: blocked by Build-Depends https://bugs.debian.org/1071849 This mail is generated by:

creduce is marked for autoremoval from testing

2024-06-02 Thread Debian testing autoremoval watch
creduce 2.11.0~20231125-2 is marked for autoremoval from testing on 2024-06-23 It is affected by these RC bugs: 1071849: creduce: fails to migrate to testing for too long: blocked by Build-Depends https://bugs.debian.org/1071849 This mail is generated by:

creduce is marked for autoremoval from testing

2023-08-24 Thread Debian testing autoremoval watch
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:

creduce is marked for autoremoval from testing

2023-08-04 Thread Debian testing autoremoval watch
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

creduce is marked for autoremoval from testing

2023-07-15 Thread Debian testing autoremoval watch
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

creduce is marked for autoremoval from testing

2023-04-27 Thread Debian testing autoremoval watch
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:

creduce is marked for autoremoval from testing

2023-04-07 Thread Debian testing autoremoval watch
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:

creduce is marked for autoremoval from testing

2022-12-22 Thread Debian testing autoremoval watch
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:

creduce is marked for autoremoval from testing

2022-06-28 Thread Debian testing autoremoval watch
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

creduce is marked for autoremoval from testing

2022-06-08 Thread Debian testing autoremoval watch
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

creduce is marked for autoremoval from testing

2022-05-19 Thread Debian testing autoremoval watch
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:

creduce is marked for autoremoval from testing

2021-10-31 Thread Debian testing autoremoval watch
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:

creduce is marked for autoremoval from testing

2021-10-10 Thread Debian testing autoremoval watch
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:

creduce is marked for autoremoval from testing

2021-03-20 Thread Debian testing autoremoval watch
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:

creduce is marked for autoremoval from testing

2019-12-28 Thread Debian testing autoremoval watch
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

2019-12-07 Thread Debian testing autoremoval watch
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

2018-11-13 Thread Debian testing autoremoval watch
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

2018-10-24 Thread Debian testing autoremoval watch
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

creduce is marked for autoremoval from testing

2018-10-13 Thread Debian testing autoremoval watch
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

2016-10-21 Thread Debian testing autoremoval watch
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

2016-02-22 Thread Debian testing autoremoval watch
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

creduce is marked for autoremoval from testing

2016-02-01 Thread Debian testing autoremoval watch
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

2015-10-20 Thread Debian testing autoremoval watch
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