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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-3
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
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
 8afbbef6fec18db603be231acd626339b76760b5 2220 coquelicot_3.2.0-3.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 e67a7524b4baec9659e5db372d3d4d234c2c53bac1240482bf860e822439f9d1 2220 coquelicot_3.2.0-3.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 2771d44ecebcb8d9143c41e1a322c025 2220 coquelicot_3.2.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKLePkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRwpsP/01fohwfGI/J6b4TVUy6XC2r/HTIzJoE
5Y1DA0KQiHhuzsbwiZM9A6iKZjuaRIWqTD/2XvZgRUd1RS6pa/+4kbNRd38nbg0u
4nJh1FbaupspT544iGhjjolXUkcIl7YAP8zrFZ/tG6gCFtnCtgb7BV0yUQLn8OU2
vcAAib24xT548Ekcde24hqaMAcOg3Cx7A3th6eOGwKu9yX0jb1lbNp4uvkVjKQu3
fsLMM4gtanRMD5Qjvtv+iKWrYsf/yzHVFV/l+5LjTXTWbeyHEJZDRAavGaUNKCEQ
CevGFAZZ4GIXUc1cAhTM0LgBQrlP08oaUmgTLreeCt/M3oG8XdEFlmiEnEpnfSby
f2iYsZyXbCnjiqrBzMhrPBNgiYsN8N40d41CcWCCBfzAn8zlaPyBmVNeSMV6VF3t
ujciaTATXC/G/cKjBSN6EeKCsBuD0QkYKaRJFVbno3/k996e0a7dx5tKSf8husRG
ckmpiH1Hyvvggu9vnVS3ml3IWCUKLC0Jg+CzT+KCwKeTHzNI9EUPEHA3FSdOvBjX
ubk5R67tK7I3bWwx8XDlL3SBF0a8bSyqJVEkBu7AvRokUYAEX1mZel4IWF5L8Hsp
kOC5C002Hp8OkCoISMEarBT54xGWCAPKTdhWprP3QajG+QVOwYsdN2GYeQ6caLzN
VwNX9EbDJTxr
=sot7
-----END PGP SIGNATURE-----