Tree @lintian-fixes/main (Download .tar.gz)

• ..
• patches
• source
• tests
• upstream
• changelog
• control
• copyright
• coq.docs
• coq.install.in
• coq.links.in
• coq.lintian-overrides
• coq.xpm
• coqide.desktop
• coqide.install.in
• coqide.links.in
• coqvars.mk.in
• gbp.conf
• libcoq-core-ocaml-dev.install.in
• libcoq-core-ocaml-dev.lintian-overrides
• libcoq-core-ocaml.install.in
• libcoq-core-ocaml.lintian-overrides
• libcoq-stdlib.doc-base
• libcoq-stdlib.docs
• libcoq-stdlib.install.in
• libcoq-stdlib.links
• libcoq-stdlib.lintian-overrides
• NEWS
• README.Debian
• README.source
• rules
• TODO
• watch