<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: coq
Binary: coq, coq-libs, coqide
Architecture: any
Version: 8.1.pl3+dfsg-1
Maintainer: Debian OCaml Maintainers &lt;debian-ocaml-maint@lists.debian.org&gt;
Uploaders: Ralf Treinen &lt;treinen@debian.org&gt;, Remi Vanicat &lt;vanicat@debian.org&gt;, Stefano Zacchiroli &lt;zack@debian.org&gt;, Samuel Mimram &lt;smimram@debian.org&gt;
Standards-Version: 3.7.3
Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/
Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq/trunk
Build-Depends: camlp5, debhelper (&gt;= 4.0.0), dpatch, dpkg-dev (&gt;= 1.13.19), hevea, liblablgtk2-ocaml-dev (&gt;= 2.4.0), ocaml-best-compilers, ocaml-nox (&gt;= 3.10), texlive-latex-extra

</pre></body></html>
