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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-2build1
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.6.2
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:
 5bfc7bdcdb2d97f124836a664b34036cf1efd961 281532 coquelicot_3.4.1.orig.tar.gz
 06d011486ed87a3fd7f3c996ccb13816efdd9c3f 2164 coquelicot_3.4.1-2build1.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 1b52c228341d84068889d749813acfb22e0c8edeaee2b908fbda523b398c88d8 2164 coquelicot_3.4.1-2build1.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 31dda959f40ae70bbea3bb5888f05fa9 2164 coquelicot_3.4.1-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWicACgkQ808JdE6f
XdkZSBAAvXkxamdz9GkCeuFRfrpRHSqXpR64znbU6WdsrdZe77/x3m0mVBkWuol2
Td+1GwufbTaxFdnm2J4NAMCCAqf2gE0aLrn3RxyK1FJD54fu0BxLOxXmxdfXiZGF
K5NAk2wL/+X54o6xcNUS4ku2Gp7dZGOHlSheeB/y2xzOX5xfuztm4B9u7eZoMxDP
Qi8JKiiSp6n7Hg0mCm9oLUp0m3txja17HZIzItvV0TrOtKMM73Bme+qx2sld+kcM
ud8vT3aaNK8ylIs4KV5PVKEWfYcn1JkMhRWbCahDyGB+ZJVTwwNvYNwiX910AKYV
v9G18PKfW1B4jWbOi0Xe8htcY0QP4Z/VsR2eC96cWvbAPBu0Gh7sSAQJQEWR7Zaj
RiywYrg7A4jIbts6RbIFtzCMH/jg6jSapK7WnDhjMMVNSVD85l+CFoflrZN18z5z
4PTgt9yQjUXnqM04ze6y4vzMAAALk+l8n4Ldc+H5sb2orJEC7cDgqiWG4BRfEOOs
FmAnyLF9HATBoym3CCPpk6iDm/CpWKCPRfkzw3etONo7E2S4IujEpYV76M9AtN8C
AjvCAjCYZev6iawW5ckq2tyOdHJ1MWKWHTTQ+BNdPxYdPCgX/73dYs907IrqnEsE
AYKhej3PcsjE0OPPEbqGgjgTYnOJk1U5RSrHjepyKEic7lr1A9M=
=lkJc
-----END PGP SIGNATURE-----