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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-2build4
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.2
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:
 5bfc7bdcdb2d97f124836a664b34036cf1efd961 281532 coquelicot_3.4.1.orig.tar.gz
 8d2916acc7b7639d10ac060e9d297bee62c991a9 2200 coquelicot_3.4.1-2build4.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 28fef93be011efbf4bc38c49ec2bcb60be5ee39296e29074f74fc6de303eb133 2200 coquelicot_3.4.1-2build4.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 82eea4a1cfe671bdfab953ef97be0986 2200 coquelicot_3.4.1-2build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpsgACgkQ808JdE6f
XdnU6A/+ITmFg1GlEs929jqHrVRmITp58oF1tMkzHADHMsZm738ePD9MiSoqH/2H
8eK4DhyWS6KKX6oV/pgTapGuW7Q0as4BlG1UyMGavbj9qN6PF1RpTeEwOGSVX0RE
mht+/CoU7poOPo85hDUcWuHIYDmfAIMRblOdjd9mp1AwWo2gWrkjpL/sUE7MjSwU
Ub/SSsr+KP9g11Tw+GsIaqA4m+k7zLf7SacTMF4AYun4mBMtPjhdrWOrzvldvaoQ
anXCPCpkmkrmJXDK7cdm0R6rQVonPfyZ+G3JFCTdxwmvSI9XJbkbvEiGRFEr6rVj
KGxYyvzA3rGyFBOeqLU6ktCpvIU46ALHasusLwNPyf2O6e+oWvrqnWH6nCqiWEpq
SSlxdtGgmjqMO2ASt+udrV8Xq4OYUQZMbda+Q6PxghnMVHsuz5fm85MmnNYX4zIC
AnXZMsbYqM0zy3VfPUhy8QzdC7Hx1Mgvp9ix7pmgNU1eE3CuTP10k27fw4aI5oMn
Q3OM4ZOt9NqeZ6BjoF8mjGkfFqzajIQou1YhLjB5mZAKDG6ZMM27OVJ1mAWeGG4H
qw+0j5DZIk4EZwZLkHWI3HDU+8RaJ4LFlXf1bgeIjltncev72FQhtYng0F68NIpH
p2E3qAPhx7IE0/JUwgdHszZr2O/O3SFmOAIC5aobJGq8/sZ/MV4=
=YkUj
-----END PGP SIGNATURE-----