1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • Processed: why3 has an undeclared file conflict on /usr/lib/ocaml/why3

    From Debian Bug Tracking System@21:1/5 to All on Thu Jan 23 07:40:01 2025
    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 [email protected] with problems

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)