Bug#916369: libcoq-ocaml depends and build-depends on cruft packages.
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
Reply to: