From Debian testing autoremoval watch@21:1/5 to All on Sun Mar 21 06:00:04 2021
frama-c 20201209+titanium-4.1 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
From Debian testing autoremoval watch@21:1/5 to All on Fri May 20 07:00:01 2022
frama-c 20211203-chromium-1 is marked for autoremoval from testing on 2022-06-24
It is affected by these RC bugs:
1010867: why3, src:frama-c: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995" https://bugs.debian.org/1010867
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
From Debian testing autoremoval watch@21:1/5 to All on Thu Jun 9 07:00:02 2022
frama-c 20211203-chromium-1 is marked for autoremoval from testing on 2022-06-24
It is affected by 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
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
From Debian testing autoremoval watch@21:1/5 to All on Wed Jun 29 07:00:02 2022
frama-c 20211203-chromium-1 is marked for autoremoval from testing on 2022-07-18
It is affected by 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
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
From Debian testing autoremoval watch@21:1/5 to All on Sun Jul 16 07:00:01 2023
frama-c 20220511-manganese-3 is marked for autoremoval from testing on 2023-08-20
It is affected by 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