Processing control commands: > affects -1 + libwhy3-ocaml-dev why3-coq Bug #1093827 [why3] why3 has an undeclared file conflict on /usr/lib/ocaml/why3 Added indication that 1093827 affects libwhy3-ocaml-dev and why3-coq -- 1093827: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1093827 Debian Bug Tracking System Contact owner@bugs.debian.org with problems