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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-2build7
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
 f32ce262abf0916f6269b14184c188e176f2b4e7 2580 coqeal_2.0.2-2build7.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 b98691db6c6667d1b17c3de3e893d760fa778b778744e617e9751697ba4660ad 2580 coqeal_2.0.2-2build7.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 4ecfae83fd548d702c7c74a9537bac6a 2580 coqeal_2.0.2-2build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc/bLEACgkQLIPbyOm9
DjfmPw//ZrNR8EsZiUOQjhlAX161lMK/dAsnCzMfYeV7XPEleXwil0bkm97o6YUB
PYe4OCVjzjmmSuARB51xekMYgFXJevEa6nJ6Fe7LNQfoyeRzkDJ2yG76toKdaPrZ
TwbNKMtPdz/lQCpivc3ezZzB5yCgBJFF5HcjIUC1z+WSfUyedddXKx7A5lOD9n6+
KPjcx3b+T3ujesJA2oxksPtUL1SfimHix16CfVbjaq2PmeAhjGEUDraOWTUAf7FJ
mWOJsHqw3R28gRedWGFVG+IE/j1i6MAH5EwEta43mIkCQUWxg1C28+tl97+h+28i
wiKByb6eM2EhccVr4XCruXJBOyZ0HLfpVs3N+KGAXiVY5kyq/fMYSgTHBm+YF9Ku
h4Wz8Fv/1EmNC78U6OE8qSxjfQ01aHHNOeUwlUkqBuPOo718VMZlQ1HNWaA3PwF9
VoLTP2FXI9Pz51w3i4r584lI7/zmLZQiMzpdKD4FgU7ubgnRnefXzNv42qrox+2I
un4sj2jELjbIbUE98VE75viQhnSpA8mukkFuy1yv22ORWcHnCdgOZvmJ0hlWMu8S
GzRkHRXLp2LZOJN2UFUGw6ddxxH5XcuFacgPHT9mZGyCpmmiOFVLsJufjIjK60RA
Tve4iBEx1wuhxZoq2409TNS5qJKlIEWhGo4i8XQa9kGsp6i+w04=
=Y7Nj
-----END PGP SIGNATURE-----