-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-5ubuntu1
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-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
 74be9d2584abe2356de0abeabad2990ba0adbf4b 2308 coquelicot_3.2.0-5ubuntu1.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 fe534802329e945f8cb12068680f878eadb89f9d72bf83622349273bd02ed5b4 2308 coquelicot_3.2.0-5ubuntu1.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 6c0bb7deb6a3bbb77103c9456647f0b1 2308 coquelicot_3.2.0-5ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKorv8ACgkQ808JdE6f
XdllqBAAz+78DZcB/UFcVsi9yAXz+93FSnEw3ppEXA959TsotHUufNEupts4uRUE
OlKUOyraYm7jdAFrdcNvOHp5YkVYZGorlS3RA3bEeIgy/e+1x1nDGDfoYVvMrIRc
FcbZQP05A6YZgxHbh50LXVaduwZStYWPq3iQ7XblJcFQEHKfoEtRLIPYSxsxxR4w
qpHUR1z25J7SomaQQINSgiD1RaK17NO3NHwDZEhGeVVKJjZPdqXyE8XM8VJF3gyC
3wVYFVZiH/c5bL45fwNkqstKqGgA2U7bT26Sf4ueJArIcbha1zWi/n7MRc0BVbAl
2aEcgVTLeRW+lmBic08KI4RMm6N51GTd/VesioD/Hdi6tyznNv1qJ5+LfLaMI/3i
whWvX+4Om5jvc0X+34phXDORUSHZA8EM9sUKdC3IHzD91EdEHyoTgmTzAkfPqtVi
sokohO7jFsJsN+ZghK2LP6OYjbtgboJ4kap6Df/fj4SH7MMUTckvD31WHAFIS8FT
Y0TbXu+lphW7tDIUtsVshLsOmmPWFA9IOs0VY1ZiPTbpHbjnlGZrmh4yDfyJ6O01
em3uMLVWgF0J+gNUa7swOCK/UX1LQqCEl1vPbTovZX4trEmJ6ocVrAbQArTWdy3k
gTRx7U37hC4F3i4k+MCWf7sTvjY1LJgCcddDMiV9BMz08mc2G54=
=BGRF
-----END PGP SIGNATURE-----