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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.3-1build1
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.0
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:
 5b80666e700ea0514d9b07b893950488d41a6911 230324 coquelicot_3.4.3.orig.tar.bz2
 1ee6329bb71de04b30eb662678546c00ab5f9e82 2356 coquelicot_3.4.3-1build1.debian.tar.xz
Checksums-Sha256:
 276c1627bcefd9b6963ce1ae4e311930545819d3b2802cc714e6746f8b7dd2f7 230324 coquelicot_3.4.3.orig.tar.bz2
 4c7107433fc430f2375c6e4db07bea8308b035d3094303915e38c85cc0319e35 2356 coquelicot_3.4.3-1build1.debian.tar.xz
Files:
 368991d53b72248d3c1c15a083ea151d 230324 coquelicot_3.4.3.orig.tar.bz2
 04f0093a5247be4e308689149e2244e5 2356 coquelicot_3.4.3-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1gZQACgkQ808JdE6f
XdkCUxAAw/vuewmAgptLp2QcRSfGjtbn72m3l1If1+g4MI3eB8UEdB2EVj1F4hBW
Fo+VDyS0+G4HRKi/wAYbncNQS+VY6Jwj0BY7ILaxB/QXeZhSquL7wuHNmEuTZ1Ia
VdYTwy19A/9czzEnG2p33DDtsl6a888U6MbrqnzGSyAH00n6DWDK/gM62ZTGxTNx
wJWfBrEmdldx7L4hFuqC+BEmnXtiySszzFSpFazn0uPxqIIWYT8vVdNG0tT6bakd
c1cXUo1KMgJRWLJsfIb4CsNAajjFV33II5uT1UU2/6Yyy0s1/MjEwTcA1Mb1Fw9m
cneQ+iRC38zc/bsnAc6GVuSzMgfDwPfNSXAct9ZJORCu7G/Sb8z0DdxlA6l78TT1
mKyAL0ZJJYTtsjFCvcW9DsnyAFAgjoWnJ8omUIjwh/KhId4S12+nZ2VUbcGoGNHu
5fYjMpNMLYXTS5PfFbInt5o1aEmzip5vwwhR+m0Cc4vizdFAjCxJ8xvhjCeLCljv
LJ6ZK8wkYmxV1SvFNXdhV2+hNOaOkvcqvYU+co2ld/fPKjoJMQYHrb+z7bN1qnWl
3adJDXyO0sr8qoGfodT1nihLWWLz1RupKhZUhRgaUxrFGIJ/zuxlSB4YDU74eTVS
s/5LLIrfoIa/y4KRSXa8ApEp1VBME1EifRYz7Q/nN+mSPg53r/E=
=XvPa
-----END PGP SIGNATURE-----