Package: libcoq-ocaml Version: 8.6-5 Severity: serious
libcoq-ocaml depends on liblablgtksourceview2-ocaml-<stuff> (where <stuff> is a string that varies between different architectures) which is a virtual package provided by liblablgtksourceview2-ocaml . Similarly libcoq-ocaml-dev depends on liblablgtksourceview2-ocaml-dev-<stuff> which is a virtual package provided by liblablgtksourceview2-ocaml-dev and the coq source package build-depends on liblablgtksourceview2-ocaml-dev. liblablgtksourceview2-ocaml and liblablgtksourceview2-ocaml-dev have been dropped by the latest version of the lablgtk2 source package. See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885677