<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: SHA512

Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.4-4
Maintainer: Debian OCaml Maintainers &lt;debian-ocaml-maint@lists.debian.org&gt;
Uploaders:  Samuel Mimram &lt;smimram@debian.org&gt;, StĂŠphane Glondu &lt;glondu@debian.org&gt;
Homepage: http://lipforge.ens-lyon.fr/www/pff/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-float.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-float.git
Build-Depends: debhelper (&gt;= 9), coq (&gt;= 8.4)
Package-List:
 libfloat-coq deb math optional arch=all

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