-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-8
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.saclay.inria.fr/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coquelicot
Vcs-Git: https://salsa.debian.org/ocaml-team/coquelicot.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
 de12e2a4d9835e07ff9f3b2d5abbdb45d7857a84 2372 coquelicot_3.2.0-8.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 fd4ed5eec2e14bd70818b23a329266db878db3ac0dd14162760a8d6bd95a3653 2372 coquelicot_3.2.0-8.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 4c448eed10458e20e3ac1b37a850f410 2372 coquelicot_3.2.0-8.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHfsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRm0UP/03pPOa+ZgDLdp5x1TUgpb7AnLfJJ2tT
k/JF0bjdBmXsLMY7E20s23pZvQxMY/j1j1weYsPesye/dLEY44yUMYBXtfdOCH0P
zJULCuXYD42vvZQUsC34r3Z3/OHQbjVWEjHr20FOs6+18djOEnpXIfN1Mqoh7UXI
mNgiyUyVd/1EirNOhuNR77ZQI8YOjU8acHYIzaiKHv39bHi9XXTz5mb/OaY3AUrX
q0XY5AWDdEeF0TggQd8sj/yqqxQ8nUAKtpFPtT0HYTgQjowByuDJSDI+dkiMNkfr
fc5DcXZhmX/JEB1fnQYr4ucWHLgBViBDdFt3PXFbhdD0Efb0+W9HIpPk6c/P9VAh
AfYKooOGcmsg5y9yl/F8QKQxmBOn+fuqG4QaoWtjrQ9YABi4G2B4247w8OmUebH+
P1Rt1Eky9zIqEpF3pwYC8EhQ+vRhsqzmyfRMa9nWbSArJKAjnWxTneeHCzLc1CWj
d3O1p1o8nJBm8iaCoi2LUI6EbZntaR74htHEaNL22DEb27FN0u0NgB40WsXdYon+
sUoTTucDHZ9nnsD8IcWC199yxhkGu3TeRwjN/9KhThG4f4hcibsZmjqpLGbTfwYK
SIh9zK+RuDJkwxx+EuIF58mbrAQX48X1BuL54nmOao02a3T52U93HtXAH/e6qVFU
o/gPahAlKeWw
=8vVc
-----END PGP SIGNATURE-----