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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-1build2
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
 aedaa42999967b498d7267197dedeab3f2f82233 2404 coqeal_2.0.2-1build2.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 2197181b43fef340c1ea5ed85b9c5241d857b28165fdfed3a46686296011a4e3 2404 coqeal_2.0.2-1build2.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 e228a9ba70b7ff8846227d890d270585 2404 coqeal_2.0.2-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMePQACgkQ808JdE6f
XdkRMg//U80bwgneME0bYvGJHWU/6d2QeZgdqgGkQ+6PqhFdId798gZsYs++CXRN
dmOIVo6Wkgmox+db8t9z8rFZpZZedyXljC5HU92hPoYcg5zxwkDPxen0DasMLjWN
c/H/thTQEnUGbvJT98DQn+dSqBf4JcH6pYso1FIAUnWOa+SFkT8J6kkwuslrlbcw
NzLdQrvqisEjGVwuHeGLjFwqbs33WccKSlwe+mvfAUUC4Zu/vFZY9nrzHyBe3x36
D84gR12bC6O1yNnkEhXHjO8nEfXOhkIJCqI7ucTa/LcwZMER0uZA/6MTXwYTj5in
CGj3sBrMAy4p1P9ZPhHMS7CndmLY2LqKR5QON+ZS5uFmK5dXG8Curo/EPwdcGYLH
JuJfpzaIu57tM189emSKjvBNvYlc/8Nwyhwx7ZPVF3Bsyt17zjd8O/7TNovxQ9YO
DvGprMnR9vVQ1z9QQQF9hAMgVrogglBrYkXgQ3SpNZrgz95/+aqUBkWIiZPcOH67
adMTzrnc3FmisP615ePbqpsPb9WSXlqD2w0Be9l+1NLc55vJ1joIAV7zcRGe31cs
reuEjlYOrRLJlT5RqgyV0fo1OJWTR2OfldF40dIDHIuAyz3Za7vE/cVBHbPaRti+
3hODc6YAz7wIaNoyNuuYEVopCSEml9H1HQHyWhL8/HG3Uxo7fLY=
=SVdV
-----END PGP SIGNATURE-----