-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-7build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.saclay.inria.fr/
Standards-Version: 4.6.1
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-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
 108ae6837b8e327eb5692a51e61ec9eaa74aa3ad 2528 coquelicot_3.2.0-7build3.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 e1ace12beab8792f6fc34779f5ca4e808d0fe63d29f8ce3e5de91deaed893491 2528 coquelicot_3.2.0-7build3.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 e6b349158d986e80aa0d35292eb57076 2528 coquelicot_3.2.0-7build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGuwACgkQ808JdE6f
XdmE4Q//Xsvb0SSauEiPQp/qDd7IfFd2R6F2kK2OLK/L2+8E/wFE1En+cVW2vCJa
RVCy7CdKiqUOeGp4o3LWob8I5H5GSu1OQG3o60eyvOyd5cTpYfCH9OEwpx7JTfdA
7NucWBk//Wu53GYpuOIpXj9CwvR4+iD8d2gLpGHRtRuwUrlcg2aaBhS81EpfWhwm
wJvVXFHjDf9wv1zxpXtacbEA2RlG8MgVtb1vrayQz4eVl/tGYuMdC59dDRFCYlSl
k5XQx/2YoG+zH7ENgPSed3pBMkSuWbQEW5MY7Q9j8zxNabCxNOOKuM+UystgGfTx
Lng1FRDg+SV68gY0v2MEXLqch5CoAP5jJqwvK9T/Sanif0v3FQsFP3KZe8FCR/KR
Hb3D15YYMHHUbKKId7jIB9ozbw8I6F/TmpTm2T6d8VFa/OJTiA8SNZYsfXcWntJp
81XjvKxDkMJqXcKZObxptYhp8yT7SGna8do0ah4uu1MskBfSn1uNd7FxJ/e2qh8z
KP7hA8V9dtHU+95d0ZFYDV2LCbjijEC8RaXWUAYrEqjd98HmlbvXrqfD86iY1Tq5
rx20ge1COKBke8ehfnWHEJX/RqBR7ztsDHAnxfxzkIkP+TDai+r3C+DpuDeVGnyd
gJcWqykVGVDX7Sqs+0eDyB3nRkjcS1XSD/hibKSV8pVZ0gSVXiY=
=hzMb
-----END PGP SIGNATURE-----