<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
Version: 8.0pl3-2
Binary: coq7-libs, coq, coq-libs, coqide
Maintainer: Debian OCaml Maintainers &lt;debian-ocaml-maint@lists.debian.org&gt;
Architecture: any
Standards-Version: 3.6.2
Build-Depends: debhelper (&gt;= 4.0.0), dpatch, ocaml-nox (&gt;= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (&gt;= 2.4.0), chrpath
Uploaders: Ralf Treinen &lt;treinen@debian.org&gt;, Sven Luther &lt;luther@debian.org&gt;, Remi Vanicat &lt;vanicat@debian.org&gt;, Stefano Zacchiroli &lt;zack@debian.org&gt;, Samuel Mimram &lt;smimram@debian.org&gt;

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