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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.4-4
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
 5b4456361780c8fe752d9dbea77d2a523fe43315 4256 coquelicot_3.4.4-4.debian.tar.xz
Checksums-Sha256:
 be448954128140e953ce1cb58746cd6544df1ce4ba3a755006a5334d77d540a3 230315 coquelicot_3.4.4.orig.tar.bz2
 098ccb1dd4ffc170759cfef6531bddab37d1445812d32458e39a817166831d63 4256 coquelicot_3.4.4-4.debian.tar.xz
Files:
 a1470711d292a2e58af32e536b6d935c 230315 coquelicot_3.4.4.orig.tar.bz2
 c5e8a889cae271c959642d85d12316d7 4256 coquelicot_3.4.4-4.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppnpcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUY4D/9CG20TeB6KsdmXHnSf1y5A
Amd91lWunwmgBYaAU1xpvCbW912QaH1RCC2m/YLcnIl1Md7xQ8TGxgYdJU4Mx3vh
vJwrnrY0QksAiK12OTYAmU4AD7A7u9jQA/5rPeZ27GAQR0hnlihpp+x6+/wG69cb
dhJtDRQJd5pCJ0HmNINLtM2ZZXtRMaPTvj/QnugXl6x7nTgegLoylfBgQRvibOnO
TNLQfxPWRfk2FfaICmwWhXQRKc8s9MNbL5FuSOpg3A6KCmvJE6CLpEi2RVQPfVqK
eqguaPd0AYhPjx31ZOaYEhtfOGAFvCHiOSynhmYE5Y0TIIkLxVSX/rwrzjsAw3dF
4NP1IV5nxjs6576+60WBSQMiIIE8tdv38IwIr1p9Ee82KxOjh/qGVSTMJua5dZDB
DUF6Liky+4u0ICJzpEkfli1H20tiUuIpx+tQWMjX4/W2SNq4Czfxw3tBtexTJcu9
TI8ak4Q7MuhfOeXV1+sLzDsk4ahtqNNU7PYsQ52UFKPvO5d7n6lNJwLD1Alji21A
XPIbhM/DNZreJ+mH3sOxeGX2iC+gsVcKTgtaL5dMFM+v6obeKehuUqoK2DAmQWox
CJiagA/HsqFuluwj6q5lH+z3MP5Np+pwscZdvg8IagPn0t5ayQCpSVJUldLMRaW+
Jcw7mRflV5s92PJZdgQkRA==
=y/tJ
-----END PGP SIGNATURE-----