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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.3-1build8
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
 3f73c4e814c647a8dc81ccb7fe245c5b43342256 2492 coquelicot_3.4.3-1build8.debian.tar.xz
Checksums-Sha256:
 276c1627bcefd9b6963ce1ae4e311930545819d3b2802cc714e6746f8b7dd2f7 230324 coquelicot_3.4.3.orig.tar.bz2
 91bed4ae72426b96c27e7a4006ac497c2883ebe85bf9c999d649963c1a348ab1 2492 coquelicot_3.4.3-1build8.debian.tar.xz
Files:
 368991d53b72248d3c1c15a083ea151d 230324 coquelicot_3.4.3.orig.tar.bz2
 1656c228c65af9b97b730b4d87c7b710 2492 coquelicot_3.4.3-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6bAACgkQ808JdE6f
Xdk8bhAAxAE8Ej1MfX9giDQdVX2EKA3M8jDej9vnEWePo+rNvMQmugEmcy5groiE
RJLZoJ6/ij3T4LsGDtaK3jTioDnSuPV7f6S4pzlGYQOl7a5rXfC6T9tc3yHyZrM4
8adXYtRx2jAktIDEdqcPq9N5zOFRMbDFxsQ29EtSA5KdAfSbrOcGk8E8l++rezbm
ligczyWvMt1CkT4B8mOsxCsClSYAYiWaKQBTFjSsrGhJiWrcYYgvN+qlmbbTcSHb
HgJ3FQTihuYCRWB8pZamY0FuEUl2WG4XarkHL/7+gG+1p+4bxSvI5zqMQ6oeVw1+
lQr4BUhH3PoiABMouhGymdMOJiCHURw5qM4SiT2zAXXr/MZZuSyDSwbAdOGNb0ql
BFc5GcgY6BV7Fyjjak1SauCYlIcZXpVUUcFqCuWSel9mv9Jb/LNJamrmQIz0vo0I
jrwAbjcfStzxhn8OzhIcmTQs9jLt+owkC+m900O5BnDH84N/mKvSibekvIzuBtvV
LdVEtFM3CBkUBRp++eCe8h6leOozyvGLwnO9dLA5yvV9ncnHPlRfkWip7wyavb2b
hj8hEqUy7w9zkvvTq/Kl6+nvP+DNfRBox31MPWcGISq6U/o0+FDqeUDiid2q/Qf6
yE45AkDvtl0kx+wTaCA9zbe0AQ2DD9Y7eUIvBH6ZkhXB6ayzxSU=
=go0U
-----END PGP SIGNATURE-----