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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-2build5
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
 c7847529a320e98376a71fe61a55b53414800eec 2548 coqeal_2.0.2-2build5.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 b73edc66eeeec9a1082d374f6bd3393d428377d46ff925a1326f50fd1ab1a25d 2548 coqeal_2.0.2-2build5.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 0fd3e884691b3ce799bca161b58b9007 2548 coqeal_2.0.2-2build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbpqEcACgkQ808JdE6f
XdlhZw/9GXwSORf4vE+oCmt/+p2UfNXbIiUxEriGTRVcmAyhnI92UzdtnTjXwGE5
n0LG/BM1eVZyltteqACsJWkMwoJqx92JllEvUbjqr082Zlttxrico42MO7xE2C1F
vujN45AUG8nfnsPHqCD/nv4nyQ/FJPe9PD7NOO22nWXi6H5JMjM+geXIA5G04CZ7
0YjIuTG1DtSHkXV+f4guvKbBmvDzcz1EMrxP1KU7WYSF28SQdHYNXOmrk9onprdJ
OuGKpmqWbn24skuBoD7jdGHqqul7eHmFACOQwKdLwCcX/Q49yit9n7oeR266lCr1
eWst8KXIs6s5P6TjBhLlUBqdj0QDddAe+/jCwy7N8bwN2dqnfnNS/VNAjCYh6C3E
7UttuVZz4fZYhpPGavAVOJ7jFTGwtDj+0mTBlHYWWJYFBWCUtPnXrSK4zKnxl9M6
7pfwW5OfQpwNl4JI9zJ/aHPBZgf9afFqANnX+U2AeqgG1u+ItcABOWCEiCGiwT2p
5OclJvGCPKnUuOjEpcjGOlqq27m/qFOJyTs/DbuVwamn1Q2QoEHQbCqKYhQXUr1a
yoIIQJg7qASGpDNdGu4VbfUfz5t+b+SFPuTL/5DJ9BYYTzi9BQrMozpvqBdfANk2
+GWLWjqsYaSJDyhjIJMoVNSKDZASkyRoyo6NtiOEIY8AVk7DHjU=
=i2+R
-----END PGP SIGNATURE-----