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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.3-1build4
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:
 d7a91350ba1ab0f58df083df58d006b29955ca5e 217009 coqeal_2.0.3.orig.tar.gz
 d0521408dd6f67993b6d995260212207557b52c6 2556 coqeal_2.0.3-1build4.debian.tar.xz
Checksums-Sha256:
 13baecd594e8abae28ec6fd419180e011eda9b9255fa35d628e4e62241554fd1 217009 coqeal_2.0.3.orig.tar.gz
 e12f04210ce5138d5640182c5f810ca3614d2c1c08d0beeb12ef93409f2be341 2556 coqeal_2.0.3-1build4.debian.tar.xz
Files:
 2cc21f7657105ecc1106e216be3bef14 217009 coqeal_2.0.3.orig.tar.gz
 dfb9836ece2d0875d15d466be19d307a 2556 coqeal_2.0.3-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetDOwACgkQ808JdE6f
XdmJ2hAAuasYmwkHjF/hLYqKHUvIDQvcPRN0pIPasj1kGavm3DCdCHGllyuti/Rb
aszJDlq55BizldEJQEYwgMWYIWhXg9degkpZ8UMnDoMgUtR9FI8fmLhR2AO/uZah
x052QCeYCy2YivToX5wdvm+OniYJBUxopcJBXiWEYnA2x+vdpQuNi2MNgywOqzDW
C8F2lwullq9guLtnR7cPPn67vJ441DKzQGHnXglIkZ7x+WY5rGnJAnob2n+G2eOD
5IhtVjrPT+zZf+5SGVTmNlxa+3RTs3V73Wr1TxCmlpBXujhxNs6Gr9nFBYioRfN0
xZ21O2Zul8Ms09NwwMtMwIYqVNattHduNxIbhFxPFTzqGlCC/x3dnEsZvwOJPF1z
RlpRmLLmp8b8CafCksy1wYMOnLHO62mA6+iDY8b/Jc4zPxatVU01QSKxjIkKM/mi
/vydqfreZ2pxvzQLFxob4b46hGP5z7VRJetH4GnNgqV4TrpwYbrsPEXGsb+YwoNf
UlJ9DHEiPpiQdSs9c4qI6AD2z2xuS7N/Qo3blasUh+I2oB2S9EgwWm5r0y7ikyMy
bFBFGl0mP0L8+CyvzYjF/tomV/vB4BSg5tz2KoEBF/MW/J0D5Hn8y4aYe/tfUFeT
FHEiKSseudri7y9nq0B/JkmvjzfTJWwa51nlBiYjJ5jamaw5+UQ=
=E012
-----END PGP SIGNATURE-----