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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-1build5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coqeal
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coqeal.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 1.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-paramcoq, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 8f12260a302926b1c4e0c2c26769996f74a9b996 226713 coqeal_2.1.0.orig.tar.gz
 b10a4f2f9b77a7d8e6e0b0f7389eb31687a1dfb8 2552 coqeal_2.1.0-1build5.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 d5b4f3c2b2b27ea3b9f34ee84bcaad12670aaea7c3abf2927335761e5521bd4d 2552 coqeal_2.1.0-1build5.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 f7700e18ae395e2d64bb0b6f7a4d9f09 2552 coqeal_2.1.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkBHwoACgkQ808JdE6f
XdlD/RAAxNULmcaA1q+6wtXAhxXCsHgxVkc4L0A39mLJMyiiQ75aOunguA/92DM5
bCBN72chKVMivov1KiRCzx8RT0PR7L71UauDCgg+PX2iCRgI4DPgVq38WNFhipPL
zvqqjxK1Bi2NjtFS8FNAnUTDr2/rJgxnn2qFQhZWf5qbuAKCfCZhs+ACl/Vd4A2k
5tLYvuOEu+P2qToR3YpHv6y/fPeGdy6gelZzSeNwdthMplRGxPLyN29rnhi8EAzt
g+sNRDBW2aVL344vSQR9f5madSAxuIiq99MUzEUXIbAAbQ4UAVTRWnD+QW7a2skU
Jldo7XovjoB19JFBKw0+auVVdi4l1M8neA/itEbGS16PZX7+QNNvHLNxRKnWsljl
fHBWMI8vicgIKrAz4kwVLLNN1rsChKQ+41dQg3SJBQBS9Y2oq4d09aS/v37sO3xd
Q459k0suGvCXp6yemSspWtOo9xQldnNIzY3jmSbr6xUVvk2eaQfhRlR8RUv/xpmk
sS9+aogfc28ZfH9cBX3swC6Zg466b6CgIokCoWpOqkCuls0BHO3+sv9/dGWiiOlx
asVVIHdxr4FAg6DZ+jmFWuQwzFbl4sZ2lcnE3VAfQYcfh35uIdX+HDlgiWIHFCwu
4zT4voIy3tfg1B9SkEvH9WErnor+t7Yu+xWf13PgujlqXt98Um0=
=Rcsu
-----END PGP SIGNATURE-----