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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-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.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
 0c4f516eb673ee8f15fff5086222e2b6d8fa430b 2432 coqeal_2.0.2-1build4.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 e492243b65e65973eb5849c7aa934fc91642ea68683f0d749429127704b1bc2c 2432 coqeal_2.0.2-1build4.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 55845972938fe44212c5cdb9b03587cd 2432 coqeal_2.0.2-1build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp7UACgkQ808JdE6f
XdltTw/9FxbQghddS7pDx8LvCD1kCrY4kdAhoONRkLH0rRRlxQhHRIFXQJPrxKVS
kfMC40dmFz/58jKtdhuEJXdMDsdpANZzlxgJ86PtRpzrfSa4MNx32nN8Cvbo9Hz4
IHrfX99KdGcGoqXEcRw59hFzaK8dNf3OvH42L6Dl0ncA+7aQ8qd9G50Xq/U9ewRH
N4zr27NuYQxZnuYB8KqVJcq/8wBaN/yy+sR5aozSadaZxW6ahuMo2/MF0XwVwLzl
ftgLvH3Jb6TivA2GBWh0kn3UjYel6AxV236J1Gfxix9fKcP4QsOUBxweZ5RuHmQU
PcZNmc5m7LFPsw4h9Y0Syoye00u71KQH9tg6iXx5w9KGJBvj0gBvDgDe7IrfpXBt
PLEVYnJygCQm03kDK9lZELBuFt2rGgg4cpN9RgbDoGNd+dmlNQ6dzpZTwTQqTC+g
6ZBi3mncQ/hinfm085WJWju4pprcRYMdSydlDOmv9ORcd/snZwH+avR8dRov0v8o
Yx4f3C0ehNLH8EE0BjEdXS7T8WetYubcAGcL0t9Bw/H/nDJ87gyb2tAI7Ob1MchY
awOmGZLcH6vtr3c4uBpZSR0irY4ROUABjPYXlnwZp/IvAu6v+Dv3I9xp9iTbEDDx
ad8cm5lN7+s2lv25nd6FCo8FlTLwXs4tvrU8vfZXh1zLpkyxl9o=
=ErLC
-----END PGP SIGNATURE-----