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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-1build1
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
 b9720b3590a9766cec43a68f1b51902a72e6cc93 2392 coqeal_2.0.2-1build1.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 bb93a752e444cb900c33fb6d3786c6a13375ec40a20320ae0667416293f7bc59 2392 coqeal_2.0.2-1build1.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 899ac7acd8eeceb7a4bb850b6e26a47a 2392 coqeal_2.0.2-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWvgACgkQ808JdE6f
XdnpJBAA1jaEFVVjQ8A7P5VreokVyFZ5B+ITVHmdtiFTKynOzzrx1WfDNQ2p4Kz1
RRomkBeR1Nx+5g4YsFwFhX6eDJNvC+YsyMHH737hej8+WvdKWqzCjpxxCehCT8j6
FYawXhydMVXuBIzw6zTctPdS23Z4gIe3UqwQ3wlYK0eaTEUxP2h4dGcV/woHaQ7O
7FpKN3aIJJ9Ha+3QPDIt0MkedKXdeW1qEZ6izvoQIMaeULwPn51vwkCKmpMDQkUB
eciap01Ow+1MBelQeKYX8VjwhqHSIm8s2Wp8Ri8Sb4PvTR4FwGqyI+gQZE4CyRvy
+4AVFYg3z1yg72cXFMx/1U6hF35NlDemOz6INzxqkQILVkZ+6Ty4fw0Yu1s/BsNe
p+bBNwGMTzsqgS3RF+ja9L6qc5FnvHHU65KndKsZ/MraCtiY/hQA5UzDRK0pIUaF
g9babekz3rnYGK5tJYXFTmi9WVg6xgTY1YnS6u2caHczT8Ebob+hpk0MNWMUfQvs
ry+gkqtNahAcK8CC/ksW9Z+1NS8Ft1EdUx4igbR2rTWz/im4du25Qmk45RHT8eEN
1dyYFF0JsQ3okYU5ajf3/biLMrWKqwkQhU63DbOuJAIGea45gfGOSXTEchr408cP
/a90gfIJWWhrZ2pUEzFrjDf/dzgbN6t1+SsQpQ4vjJsV4HMKi2U=
=Ao/D
-----END PGP SIGNATURE-----