creduce 2.11.0~20240909-1 is marked for autoremoval from testing on 2025-02-28
It (build-)depends on packages with these RC bugs:
1093102: frama-c: FTBFS with OCaml 5.3.0 (syntax error due to new "effect"
keyword)
https://bugs.debian.org/1093102
For more information on the autoremoval process
creduce 2.11.0~20240909-1 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
aut
creduce 2.11.0~20240312-1 is marked for autoremoval from testing on 2024-09-07
It (build-)depends on packages with these RC bugs:
1073879: frama-c: FTBFS with OCaml 5.2.0 (Missing dependency on
libfindlib-ocaml for bigarray)
https://bugs.debian.org/1073879
1075055: gtksourceview3: ftbfs with GCC
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:
https://salsa.debian.org/release-team
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:
https://salsa.debian.org/release-team
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/
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.d
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 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-tea
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-tea
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/r
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 f
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 f
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 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/-/
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/-/
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.o
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 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 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 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 a
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 2.6~20160921-1 is marked for autoremoval from testing on 2017-02-25
It (build-)depends on packages with these RC bugs:
851104: frama-c: fails to upgrade from 'jessie' - trying to overwrite
/usr/lib/frama-c/analyses_manager.cmi
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 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 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 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
27 matches
Mail list logo
