<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-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.1-1.0-4
Maintainer: 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-float/trunk/
Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq-float/trunk
Build-Depends: coq (&gt;= 8.1.pl3), debhelper (&gt;= 5)

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