From Debian testing autoremoval watch@21:1/5 to All on Sun Mar 21 06:10:02 2021
why3 1.3.3-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
why3 1.4.1-2 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
From Debian testing autoremoval watch@21:1/5 to All on Thu Jun 9 07:00:01 2022
why3 1.4.1-2 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
From Debian testing autoremoval watch@21:1/5 to All on Wed Jun 29 07:00:02 2022
why3 1.4.1-2 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