[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



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


Reply to: