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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.4-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.7.4
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 (>= 9), 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:
 f52a3deef459990865595713b4ffcb07cf9c4f3d 230315 coquelicot_3.4.4.orig.tar.bz2
 1a0d4559a3db0661aee2238e117a133ad2e12fb0 4224 coquelicot_3.4.4-3.debian.tar.xz
Checksums-Sha256:
 be448954128140e953ce1cb58746cd6544df1ce4ba3a755006a5334d77d540a3 230315 coquelicot_3.4.4.orig.tar.bz2
 6cfbadd7b42a9943037f69f4cc93e8862ffbe1ab7105ce601c6a17a8c52b5349 4224 coquelicot_3.4.4-3.debian.tar.xz
Files:
 a1470711d292a2e58af32e536b6d935c 230315 coquelicot_3.4.4.orig.tar.bz2
 dfe66deb7704ec317dd761ec4b7da790 4224 coquelicot_3.4.4-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpej2wZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYPLD/sGPGbF83Bb//cHNsMAqRJo
+I5NFacclKxHMj/hff5rWMhT9BrV7BFW/4IGbmZoFdh6Jqw6do1oGkCRw+IknvXc
+MspPJXceNBu57NTUETZ5Rh6sVGYFM55QYSbv672Cxgqlm3U+/EkNs1LUcMxnmYc
xLcgzZq3xm22WjuMooWSH7jNPtstUnPZsQ9V/jKqm29LCUoZ0TkXT0UoCH5+isQI
EdTsV8XecRS/dc43YtdJ5c8AAAyTErWszE8OejccllAX0nuUajmo2BKegqdz5EPA
m/xKkdIs1HeYkFP7P2U8j93Ai9NQgJXYzeKz/bu0yLNNzIotEp2Jk1vf2dDeHeQ8
c+J6wcXajdtXHzylp+afyh5kaJky99zOLysBW3uhqWQYMr2eZPbaSAIWWpDiDt1A
8SLptW4zoRhaPXPPsLWlAl75LumSku9Xk2/qRypYQdmfksTNELXteYcrvjXj/2Hs
j6MwhC1Hs306cWSmjV39mzc8GG6VIWHoot5rvR4J4sN4MC6q5WBW4T5H6ppGLu9I
r7/h8cNMWpyNFm263SPX9BgJP/dUODBWqMLzf6mGTfkYEjMI+wRiloTRZfKBVHTg
c/qSrChGaxOYMQn00seLxvJjBMuxqHrdmksO0yu7/JA4Lkdjv34LryN83YQh2lY4
f4oR2lqIe5RzK1QayjA7QQ==
=YkNg
-----END PGP SIGNATURE-----