Source: dh-coq Version: 0.1 Severity: serious X-Debbugs-Cc: Julien Puydt <jpu...@debian.org>
dh-coq uses an invalid maintainer address: Maintainer: Debian OCaml Maintainers <debian-ocaml-m...@lists.debian.org> Most likely it only misses a "t" in the localpart. Ansgar