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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.3-1build6
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
 7b4e0e1170a54183bc54e298813ff625b5fec190 2472 coquelicot_3.4.3-1build6.debian.tar.xz
Checksums-Sha256:
 276c1627bcefd9b6963ce1ae4e311930545819d3b2802cc714e6746f8b7dd2f7 230324 coquelicot_3.4.3.orig.tar.bz2
 83c89948e66fa44bb5f9ca74fdadb5449689d11d372e7395be205f0f65fa9845 2472 coquelicot_3.4.3-1build6.debian.tar.xz
Files:
 368991d53b72248d3c1c15a083ea151d 230324 coquelicot_3.4.3.orig.tar.bz2
 978d3cb6b55801d21df95976d3113c5d 2472 coquelicot_3.4.3-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QoMACgkQ808JdE6f
XdlWrRAAlBIKkh9zj2mTsyGq7sOnr1pKQVzQGWWEzILR9ADaX1zaDI5DfoC+gNY8
z0mm0U9K5Cwbc+fl6X3nQBezm/JT4YhCjHpg0yQaeFNw7lGI3+H3DWLsPrvuAiYp
kO8vH6j26hMvG7Mh2XWa02Wh8NNIoMcAOp8l5QOYYLund8mSSsvqErGdyaktKtgJ
lAKPWdDT0Z7Dz6sQOaMn98wpgqQjf2SWf3xB9N84Y54PKd16D9dTlX6LKI6SfvD9
m5MAuphJUsUPEqxU1YJJouM0mJMz+NFdHdCRpVC9IKnE0mfSYnq4rK9VndTscoKO
P+M/JjHxDDeemJMVaM1Mu86dnNkMHKAmYN4FXCf6ad8oMAoxIdQzxBwYbe1pXFD5
EyVN8cMRhS1Kq8P79lO59Sq/Iht1UEtrhXCGvOx2ureJGqA8Bg+8D8FqiJRq0Mlq
+LyobiHYJkafanfso0hhnHayROahu+NDao/JSTq5+OnZUPEwNshjHiUB8wWsTUiN
OdlItwoFEU+r7gL5ofRIga+lrtJNzwIX33qqUOMoHelItQwax8AkUW4MtmhKE/P6
w1y9FgsUVUhyGA/LpGJliLlsIP7GIjGKs4Py8ck1Qg+vlosLCOShOyHiwIekxpSX
+jlNEkrCBg4WDQevLnOFQN3RIup/1o+T6Duf9RxqRYFyvp5mBpw=
=B5dY
-----END PGP SIGNATURE-----