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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-1build3
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
 40eceea1dd2b097c277e1eff4b66800aac0af133 2520 coqeal_2.1.0-1build3.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 1f0e2b49034280b7d4de490bd21ad73ae13445a730e909bb15ff93bd1c92c066 2520 coqeal_2.1.0-1build3.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 a0a396d6a3ab0fe487fc648ee99f1253 2520 coqeal_2.1.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0oMwACgkQ808JdE6f
XdndqA//VdBg8GRTLEnjz5e7n/pPhf6a8uCDsH7946j2aQynYVEp+lDOHQi1xPSW
8Z9zbGrC+jhieH8THn6DnQbzOprF+Lc9duCfBmR7If2Wi2/2hDqfkmIK15C/nOaw
B/q9dJgc3bu/YrfVpM1uqnpwvYfz8yRzrqSVJ3r4hv3OD/3XG2sdYlk7574DpZxh
6lhpzRSFLm5/Phy6kT+fjINQ3/QsySqu2J5eRAR4L+EaecOb1JdxDj3DI+dFcuYX
FzBtxOzYHKUHlcqxEXdtCcEzuCfjQx6ruc8e2M+cDM+P5xbyy4edzx9wtKKwZ7hO
M91RmQblNm6FAg1u+ybVgWQokfrZ3VmaXFsfx0iHdmWH076kuv1PQlH8XJtFl3cN
bAJuXLYswVLdOP/cKY9qqeNmXB0jyO4kA8Lfw9gATD/XQYzEmCr+xXNIAiBekpYm
60au+/Q14gKnQCC3BDI6HEFE3VRQdxaMbyMXozwQ67uT0Ydlrr/ZAiM0tah14gAK
qDVmCSWklXZgi8DW7hJZ8EcYOQ7ZVCaYjPUlfksz84rajTEBjuajso6JmHMtcQUF
JYWrBlqhWM8dhPo1CRA52/at9Uv1a8DIGYGY+7f60kKo1w1dQPg7tLCC/YGjK2GW
KO8WaPxnrbWgCHszNn7W+M/WrYWUkzEr80JIpieD/+/OFlgyg4w=
=44Er
-----END PGP SIGNATURE-----