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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.1-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:
 e6eb31d3e47d2477602571503e607ef8df4f73bc 216810 coqeal_2.0.1.orig.tar.gz
 49d0e51d498b66e326723c3eab4f5daeaa58895e 2292 coqeal_2.0.1-1.debian.tar.xz
Checksums-Sha256:
 89bfa95165541042756c0bfdc82c9733b777b7129072b06624bbd2df7d1e4385 216810 coqeal_2.0.1.orig.tar.gz
 2ab15003ffeb64f8322c1146dff08f8d397a4a9146e54d63b4a4b36bb8ca0ce2 2292 coqeal_2.0.1-1.debian.tar.xz
Files:
 41a4c791dd853a36f1a74a60f7a1b776 216810 coqeal_2.0.1.orig.tar.gz
 82aa11d4a2d33114cbc09b20b3da8d30 2292 coqeal_2.0.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsIb8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnFkP/3O30oCkGmjtC/K7iO/CtpE96oFz94yP
VxWkt7YBrrd9hV/YWR5Xe/dQA+7+5z4B9EwFjBNSNkPIrqbandW36dbUyQNSPVBc
nOviXM2eGGnM/cmVmLWwnoo7ubNLVQEK4JC13LN+dNajNfD279jX6iqDq7/I2yk1
DaXHJu1TZOucMG5GYYqV80d71vIGvSe6lQxioimryYyu4cIAUi8cBd2A6EN+2P4W
QNduU3R/1sOnK0s0ftLloZ0JT9meO/jXSc0fbTdjoIx+6dwqDE8GvvW81barnMQN
hmGmxQVxV0NztgNj3/q0wvgqcAdthG31NonoDQxhMHuGHeTqzhxE8P2+EAPIWVdF
cduJG1CQQUZvQGJl2FpqReesHcP8pT8RAZBmSaRPRqtuNTcgj0mYBLC91rSH0vKT
aOWhIBT2ndRMfygdNdCkMODdYxk2BIsOAqyg/SPoOBckndNPpnPcnkvywBwNOQ2l
GoDwTMhb02PmefbZLNkInLRzbXI9H/JZLA401i+MbUk9TJlSV+ov0WM1HWT1HfB6
vBe3RcAIp2cOHhxfWvVu5ualflskqseD00x4WDfbrZGs3F/BdugguI82UrGTAMU0
/7LKe8VKhcfdVFfhwwKLcRiqT+iuEPehqWOR6s97+CPKTZR5aVzEQwxoFEEK0oep
TV7sFRRymoYe
=iGNK
-----END PGP SIGNATURE-----