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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-7build1
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
 0e00923152ded44a50bb754b1063e173e17e5195 2440 coquelicot_3.2.0-7build1.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 ac064e95f5c1a1c85a424945bfd72ba6a9595d00620c8c6c1b89e056936c6c68 2440 coquelicot_3.2.0-7build1.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 546babc6d24732d893f6ac0356890eda 2440 coquelicot_3.2.0-7build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQFGBAEBCgAwFiEEVhrVhe7XZpIbqN2W1lhhiD4BTbkFAmLVRJcSHHBhcmlkZUB1
YnVudHUuY29tAAoJENZYYYg+AU25lV8IALYbY/NqPD+WyruIQYh6sAleM0h+NLbW
qvwlRDFEUY170H3LkM1wAzC3btxH0GH5mmg+ehWvlqyjC+Wc8BB6Kj+lETBvgycP
DZ3KeILrIua3ZR5zzvmYcOgfI5xNCVExr/L34CiUDtmdZZqSpGc81TqgbJUc3Y/L
YCQ7Ua+daxIvj2yHSmCxqNDiKCuwkF7hYs2nbEY5VRdAkP0bUHw1yZYwWzNJCW9u
Sx4qB1C+I9+behhcEsZBSoPzDxXFuWQiwX/r5K02mKO7Q1puXgeWUYiI9YvqFu+w
71qcwalCYrpBynbtstpF9QLwhIllPdZHanaNAuWrlKGMVQhsuLM1GAM=
=MiMF
-----END PGP SIGNATURE-----