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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-2build2
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.2
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:
 fb950462de2db1231958f913cfae36dfc25d7f3f 217033 coqeal_2.0.2.orig.tar.gz
 cdf9a5c2a6f7c0f288823fa8b62a4b75f15810c8 2468 coqeal_2.0.2-2build2.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 f0484100bdcce2e9b599c3c0bdfe15b534e1bcfc284909d1c951f96ecbe04aab 2468 coqeal_2.0.2-2build2.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 c0f10a3630af9e0796959f7b55127a63 2468 coqeal_2.0.2-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9o2YACgkQ808JdE6f
XdmFZw/6A9q0TdyJ34OIfSb9ioMlS8n4fUyzDO/N49ovx780Q8jncQF0jfb/1bzg
kF1QIBgaCS2EaNvgrE/3wxt1/g89mVZ+TWE9qOLDmUS68iH9VYg4scTF7cg+Q7sY
wWbTaE6DYRbVaQiBH/WzUYLzj1RLn0NXHu0V/SF2+caLm34QCe/fveM3p18stbJy
pAjjCHF9Pk32xV4/KF9FYQYlUvZsnYNMyzpwEzVECWDUNqQF/xUopDjJL6YJ7ic9
2CJ28IkytF1EGL4wPw9fkdvdc4FqITIrfspf5CeURAjssU/jPhs72ChQorRnL4nu
h8/y8HDEWefUMT68BXrxKLkNSDNKOgslsKaHAQRE6oNUPXGvXnBC6KY/bBhLY5jX
ELNs7rUgMEJyGU6itry4G7FAeFkYvM+M1o/2cKY2W49KSo9G7Kg8/HXBs4ofgtFU
tXKAvqV5DwZ+89qOq6Uk5LZyF5Y5Vs2wFZPNhXAcwKkcN8eszf3Yz1U+n4Grw9VI
SGK0GJEAfk693LwKmqUwb3kn25FF58Q6YFi+u6FAK69aqtE/q666JQAyHT/YWOhN
bTPCiYouTRCcQwKOU0m2brraDMURRdCjKMEIcWNdaz012TuzpW52Yuolc2QSJ31m
0T5r1+sfADb7E4THAv9hsCfFxK4hyHXUMOaCf3Zh4/ECT2sjigs=
=sz76
-----END PGP SIGNATURE-----