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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-1
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
 1c36437a6488a797700bd6fe0ce30a85ad4f75fc 2316 coqeal_2.0.2-1.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 d87666409899e0ef9089e6bf16808277f4f198447ff88e03e16145723d731697 2316 coqeal_2.0.2-1.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 00021971ff8c2d5430f94c5c5820f687 2316 coqeal_2.0.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH92MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRor8P/1gUYqZNSWL3sKrefMM4LAHCL8XvRQSY
28RgQqfWATodCphz9IAEq6jqJWDu+Znuzg4enpu6NcdsG0WzGVJn0SYrcqQlOjLv
P6PKPdTTx0zgwHyQzuvXxnSCrZDhCyJiFOJDDFcLV9HZ/Q0PBP9q1BK/Rbrd0wIP
vw+uFWnet/boqxmTsnlHQkDeNn5yitMBzEffX8hFrCD7b+6RgPuCXjtsefjyg/TN
Lym3Ki9/NG55XMzPtGGpIoNhOVAplUTjW+MX5/ZIsGQhDeVdrdy5+mJ1zoLdM9n6
omUOEoHvW0T0FGIKJPXw09vb3Xga8iepme4twZENHCIVTW0ws9Iz3VQorbEZmD55
uUQvGWt2+HA1/rfr01XB3ckZxxzW/Gv/osJfcWhdEY1PmCGU7l2mr1pOqc4yIsTf
I+dpcxZ42OCCwu929v4C7HDIm9FveFkkTLMzULgOjWHX/KCwezMUlMzLd4Ptahzm
PFSrQXd/g7Lmw1hbJJU6Q4A4b+F/NVHgFEw8XaGv+P2DgkgVaET6nKf5Xd7AtudH
sNMOceZpseyzGQbNeZpXMWGheKBOFZ+wWJEOCEEgtaaViZfAS6D+9i/60BqUZodh
IO2iaW0D4hSRS4E7HWfkTGrZJ2CC0Q+ihzCw5KFkZ4y8I0LS02qN6LIBjcwQ6sXo
/a4qcIjKlzgu
=2Mdj
-----END PGP SIGNATURE-----