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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.0-1build6
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
 e8d6bc2f1ec1f36c6b0233725c1ca68b6ca69b1c 2572 coqeal_2.1.0-1build6.debian.tar.xz
Checksums-Sha256:
 f7720b25c107e3fba2b2f2035fb7ab55ede282513a2154cddf2d37a6e4bc6638 226713 coqeal_2.1.0.orig.tar.gz
 59ff90c00d4b92189486b8fb897e0d9e2ede8ee44db2ed1d0dc525c4ab1ebea4 2572 coqeal_2.1.0-1build6.debian.tar.xz
Files:
 debd7154aad3da190e2787e9c087d5a7 226713 coqeal_2.1.0.orig.tar.gz
 b92718d6c93d97c072f6d2023fc0c374 2572 coqeal_2.1.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMWFEACgkQ808JdE6f
XdlrmRAAkWrhltYTZr9ZGKppqR2K6WJ//zMXzGdxnqcAKoUsV54DSXNKT5qyfaaM
HREjMLL5/0fCNsmvzCQB7rg3sbwAcrF4b4z8mB0zYZvXYKN9Zlnwlo3bbS2Z0FLz
QkJgjbiPr4EGFQgMRMmRIcQbvXlZJ1+lk0rGwUXunlFsiq/9POlYZRnN/O8Gv/Q5
31G61K+8AGdggDYswri9zik2ySuzrVIyGCLSSmlvSKda8rg3i90Ch+O2oOvQAYnL
q2rsFN/b9Vd95yYbgy85hJb96XOHMzrTK0vHS0eG5dDmNSbYlOSSlv7Zs25pbPHx
fihQXhCdJJxykejHa+CYmBwZghbZkEtr7Glw27K/wraOp1GGJ3ZNDWZyH7eFs+O3
k3xuIWDodhQgdvg/5At4F9e2fh0p01IVWUXlBldS/VDATMK9i7EW6eBv275RJN0E
NawTMK+r1kehlgfz63Iuevg5NsyOZ/sw4nX5xFWlmZZZ9FocYvS+5qV9IwZVeRSw
AZCVbiyEoYwPtq37RuWDeqLNXzQCCR9UDBrclkDl22tTI84jMHuyHytsbymAVJZU
qPHxZ+QhPIyIrq0XgVP8iLEceUxP0RIUxAzzw3aERg7qL9GsAgPzSdU0vLVVdONO
Rqct083JBL8PKGNZYhPuhvWTQbIk7caJJfNgCVwuQ6qzetYXJaM=
=wgpS
-----END PGP SIGNATURE-----