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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-1
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
 360f269c476925542b4eed69eef3d2837f97e276 2068 coquelicot_3.4.1-1.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 27bc33b5ba6ab8418bb7e91081dac0d66f6f165d9de7a3e28eeb3871e007cd00 2068 coquelicot_3.4.1-1.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 9904f9eb6da6708e82b40ad192260c4e 2068 coquelicot_3.4.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsGaESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR11YQAJgflNRDfBxyZBcRh4yoEMCDXaMfMj/9
De2dcTfKVEwyI+odk5J/jJFXUpYGpwzp9TBU4sN0iajm2w/9dkV+jT5MY9dJbKLE
D6Q+rIVIS2jD8CJvL7NWCZCJZG9DfrFgknLPh3Rh0AkkIBkChtoMPtI8US0xjqOP
15HDHi4cMHRHFfyMyQf3DSe5qR1e3MJhiyqZNQATwj6ekBoyKblcKgqwTx46Bz/X
uwS+mCb7RbjDKg7VTsX5ay+q0QHykiex+gNY3ifG08VO0hdZ9XA8nA2Wr8IppH2Z
GcquEadipvVbnOy+9/67DHPttF7I4BQowN9aYBmsHGT6UItpvAU8U/Yj3jCltbO1
xcjOBhP0DXQ1HHYYzbr8s1DGF57eBdAZjb9xOXjRE4yH1YhBSpY+06dqn3VGuM7t
zqgHJiR0xZrJdPTz21udYpNFJ83q826RA4gJP6bvvxhgBHDJjp7J5uLTBOYuip4t
qGvoIPpddlpm4Msp6ygLLHOP9H+ueFFhw88Xg25cnyf3VqQfs3RNNs6IqhU91SWL
0qJgr5dCJZqd6M4M4Ygk3YcphiX2s48i2gAE16CgtENpXvMbL89Q6hAuGi5LuVRR
CusI7eyjLWLeZKKL7qOFfsa4zerSkC0dcULc9oVxwqF1zj0gjPTo51oAX5z30jgj
BkBK0lDPyZsi
=C7qG
-----END PGP SIGNATURE-----