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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-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:
 8f12260a302926b1c4e0c2c26769996f74a9b996 226713 coqeal_2.1.0.orig.tar.gz
 a8861ab093082bb834a234b6ee2e958fa4f58f72 2544 coqeal_2.1.0-1build4.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 2726aa30f1e5b74a2aa9e079f5f26270ebde661396d925524ca8f3d110ba8014 2544 coqeal_2.1.0-1build4.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 b3f5db07bd67fd35a1ca60ce2ff3aff3 2544 coqeal_2.1.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5Q1YACgkQ808JdE6f
XdnHqQ/+JQGwUxYz87ru+u8nIuGOVdwrNoWqpa+JdLQjyRMDjMhZhv6sgCM9akow
E705UJsxVUdd+gPuqs5A7j86lnmo+3IWAknxRQb8dbWV6QLaBQ9dGO7DjJ2Q0B8v
h5ZMSV2Z/RPfV6toKmRsYHGDHBLAlcCF+ef62spJdkRGzNRRea6OhBHWsQRTtO4R
v28L43+BiQpYXLuF9xWuO7yuknDNl/SKbCM3NjR0Q3Q1eQqlEqRrNxUS6KRmXc+D
wknIeMiElfibq4W5BEsMwYZU6t9YpqzfWJyzljirJLDvAHFkvHItH4zzvsc+AXTM
Hw4aday8PHjOw7VCK6/w5295fvyNjUpJ4VgDzhIbnZKv2YuwQLlYX43Z9/vFZJVg
/Z+macFdABae/CT/CpanifNC5MWtgbd6e37NV7rJbi2sp82iWHMbY9P0quXxd+z6
aO+3GYhVr0U48xTYPNF6oYRZ06ppvXeQryrSg0uJsxSamaAJVxtFb/bFhfGawNFk
mNChpcOxcOgyLuMxB9E7rUgxMgiSEvLkXsnZJV5N1Z0u2klqTKhoxUWBiU1zkMdr
G9gNu/66ry6Cmh29PXppAq891haDqZuaTZA4r2PRfPje1lv3LauWNT1ulnSnhEkq
kPhF4CerouzGNhMjbrY/Qndw7vO7KWboKGkhFvzSfHNLWkCQPCI=
=lopM
-----END PGP SIGNATURE-----