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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.3-1build2
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
 0812abb4f46042a0550d748668cee4523e92ce96 2412 coquelicot_3.4.3-1build2.debian.tar.xz
Checksums-Sha256:
 276c1627bcefd9b6963ce1ae4e311930545819d3b2802cc714e6746f8b7dd2f7 230324 coquelicot_3.4.3.orig.tar.bz2
 3363e7ab9836f0fb396d7752551eda2b6d486b9431535cbac735452bfc3a4646 2412 coquelicot_3.4.3-1build2.debian.tar.xz
Files:
 368991d53b72248d3c1c15a083ea151d 230324 coquelicot_3.4.3.orig.tar.bz2
 56a3bd6c5b2330c557c56df76022f1ed 2412 coquelicot_3.4.3-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgclKMACgkQ5mx3Wuv+
bH3zehAAwzDKGE/jyucz6MzYcsK8qe6bYQThJqwei43U6nkWuJ90qlWD4Pb0AmXt
dSKrUX5luV3AubpKHYtXHq4X8Mi1u7vNWRjEz7ZrNk+LXf7s/NntP4zqKhK6/+Nb
dvf9x/uHbi017+JzA/HFsh1osxT1IQXyL7HuupimvMdBhN7cb2pNbFvogfzwURpe
3Y/mQEtkLHOU6CpPLBZ3z/n5GyU5I3cbdUcIMbskNpcqjUoZM3jmHUNK/by/0Ztf
ayee6rgm14jYlVMkMnKZJhBpTEYG/eR7Q4mVPzjgsi2ebU1K3NE0CsGplCPNNF5b
0mSMN+8FOfI7UuEXiBr2A6TySmPtDj/dTpb8wwoDn9Tm/JV7d4KkYFsspOQCqUwp
wP/rIi0dWEMKrXQyMHBQDVZhc7+h675aVB2j2lMrMwo41dV/15YX0oZHixgUhDCN
4LTlEypWOKAE9/AEadoxm/8oUXftwagcWR4DDVs0P8gnvEszunfWgSB14dHojNGs
3q5FdY38UWP+mZSlgHkIAMbKv2W4jdr6ba4/vHwoOg4tbp2Y4nNjY/5rzASZuLha
KSqobXcgRw+HT2qH2wc6mUi+bF+iCFfn20Lqz8DoPSxrtgTQk2dz5tzFVdkrophR
jIzE1GB38aTCeOLiMiE3SFA8ESWJkHauJXBRhyLaX19V5PrTnuM=
=W75Q
-----END PGP SIGNATURE-----