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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.1-2build3
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.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-coqeal.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials, libcoq-mathcomp-real-closed, libcoq-ocaml-dev, libcoq-paramcoq, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 6b1c030d4f07a4b758621882dcad83763b729492 218742 coqeal_1.1.1.orig.tar.gz
 a83ce0fef0acf107de7305eb93e3e4346e9f83b4 2224 coqeal_1.1.1-2build3.debian.tar.xz
Checksums-Sha256:
 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz
 cec621474e9e54389635c4994db6c53dd7af8858953cf0fc992f3069ca83dda0 2224 coqeal_1.1.1-2build3.debian.tar.xz
Files:
 d9d9be9f5b316207d10b8c51f0248889 218742 coqeal_1.1.1.orig.tar.gz
 2c4088a382b68a4edb4bca99c0cc5fd3 2224 coqeal_1.1.1-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOwGKQACgkQ808JdE6f
XdmZLA//XJrnHV+UzMvI+ai8NVMA646le4wGzFlSBdQsUbCOG41N8E68cwY4zOkf
Cyvvxt6oehp2Alh5ijloSN2tGGdj/mTsHNWvntyl/K1L08gU3uWVmrXaOHvhwV8N
FGyaYeSAFLzdTMw9F9PR2uNdMxytcq2XxQAVCH0QevXu8Hxgx14V+9NGrnhwelXA
p6483X6BfncA0/fc34kg2A7DPFe4LsuOy2aR+5obszR+lhQ9pBVlUdt294cxX7Wd
y45XIGBEo5ozmcouT3jtLH2e1gf6zh/qkMUIy0TkznrzZlgyWQwVZfea+fKB9SlI
8WvAUVOpJ/Gy8lQM45F3Ozj2/7IcIpDX+FdZFlriYnuOs5VmobV30J4plom54cNC
AOjB9gJwEnrPI8WXFAh9ZS/q8F7GnUtElk3PtmA565/xsloI6NI+ehZVSpFC8Ipo
9/2ivKHwg8EBfNtEl8E163ap2oSqPrxv9AGyEAIuEmQBiYdgZPejS6PB77mQHTcJ
XNbFOGlocyMtLxPh6T4bMlz4DcLjmln8K6x27/hCMVxUIYJDqHCnBd6iYA+8yNHs
F8ERLZy1f2BwbrNWug8tgCRSua+koyE85FQaJLa86iLGiBg7YW978XGD6Q/tBLpE
CZSY6Lfmhg433Sp9xiaFXyazGmcu6I7BhkZ9CqM6gloH7CiokB4=
=ZjMW
-----END PGP SIGNATURE-----