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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-1
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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coquelicot
Vcs-Git: https://salsa.debian.org/ocaml-team/coquelicot.git
Testsuite: autopkgtest
Build-Depends: coq, debhelper-compat (= 13), 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
 7fde84514606023a1b478620b5fae5cd57aa844d 2080 coquelicot_3.2.0-1.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 c96ad1374d36904ff4e366482e5fdbfe3fb7bdf57e727aacc3808b2aec763703 2080 coquelicot_3.2.0-1.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 ed4f7657e4188a67f376f7f858bc19c8 2080 coquelicot_3.2.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ5VucSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMWUP/2mO0NdAxvSRFM8GaPzeG/EfVSmDI0x4
7uKzu4S182/fVljLWxU70BsTQs6Hd5dm2wp0wtQ1+4x0XoCbb0bMvUC7vkP9XaQM
WKmevzixVcV5xWD5t1oQ0wh/4FqSsPyexnpk8NutrGHHccefxxS7JhhbjHLEgFkO
deXYUwYjC+8uTaciIJU58HckzvBvzn+X7kIefwnaPJ+Qe8Bvivza4ifugJh51gYf
Py5jbyZ9jnbprlLweAru3SxwUstswTwLbGiWGcdNPvU5eC0mCXjKvi1ne7+vII1r
kEYysoGFcvjHf4U8Nc2Zd5K2wG1GIadjcMp+OnwHGuSTI8BoX6dJGiFdtCiZ1D6j
8Dd1tPJpRwXv0bCqGepFyZdQahNTChsSo3rb04zIODKfyNWTWX7rWi+nGbpn3L7b
cEQ1w8zMLrkhSQKpxx7dGYBeruJxLwa4oMoVrhNxWjHI72/OeSi6mayG01rDmDOr
SR6q4OD6MLydRVWDy+cQOy2/XaaSTEUg2zEwHLGstrZVUx0V7S/xz8UXHSEEXlWl
zvjxxygJBSMw6o1I907l4sGKiWF7G2f7U+Cl4md/ElkwJ7oe3mq5BxWt3+uMo0Cf
TQbvFpQS+DxlQQc26ixJJaEpKUzJLuBSkpjBojg68y42kdli1jVLoxrDFgv3D3cb
KuZUio0FycwI
=DcA6
-----END PGP SIGNATURE-----