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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-1build5
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.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
 9b9e23f46490c78a681e0166b8c676de15f001d8 2324 coquelicot_3.4.1-1build5.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 fbdb6a2eefd60c3951dbbc3353f7ff7d3bf90235df9b5b0f70b398d6761aa718 2324 coquelicot_3.4.1-1build5.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 6b524b548aecd3b53340096123001908 2324 coquelicot_3.4.1-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmaMACgkQ808JdE6f
XdmGKw//c1VpbvBhGymD8RIRdZHHl+SUfQKfCE5xrRRhnuSb4YGr1NPL1SR2+D6R
zsg1e4Uk8FQyq/nR06ePKVTDt8hGNzwBDKeeaRMi35AxXpsW1tMQ9EkZR38LEpmG
2rEsm3IJgwrgxdipLE/BUD9ulbmmIKkAU4Ih5R/fW6SZY0mvx7Oq3D6rWQ01g55E
agQV9h7avfNn/MP75Mlj6C5hl2GYBwECnsVKk2CYy+XSQjlt3F3fhmdoOVk+fmzN
jbGxtdJMra1CKvRAcpG81oapOuQ+byCcQsZWziSSB57obs/seD58Z5heLejQoWvq
wEi0jbHlh83poounnpMwpgXbUf25hbEqJ6oeh9yzsgg5RjJ/I09WLmrtX1uNW+z+
CefapMLSFhtfr3z6QCqAL0D0qL6DX3b+fMJ00Luknw8PGxa+kopvIbHv3FTol86G
st40obZZxhehijgjpgwe4CopAVy4F0O3GYpdZQL7iPEjnBvTN5cSwcFSDjanBVCa
lzWHq7KUaotN6G0r5KuNzilW5hqCQmNtLC1JWY0uKYI/c6DGqAMR5FX9Nms7bqPI
NMJ18Foms6nf841XpKq7VBlduz23ricxuAoKBlZGefBaIREFaIw2lVZfZDSkd5UX
ysQR/7wiaUJar6Efj1Gb4V320RqZWIqvHyICQmQ16ynkf07hDPA=
=UHGS
-----END PGP SIGNATURE-----