Processing control commands: > found -1 why3/1.5.0-1 Bug #1010867 [src:why3, src:frama-c] why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995" Marked as found in versions why3/1.5.0-1. > found -1 frama-c/20211203-chromium-1 Bug #1010867 [src:why3, src:frama-c] why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995" Marked as found in versions frama-c/20211203-chromium-1.
-- 1010867: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010867 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
