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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.2-2build3
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
 e12a53f0d0eb5094696b547ce6c65e38673b665b 2520 coqeal_2.0.2-2build3.debian.tar.xz
Checksums-Sha256:
 db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz
 9f50dc611b2214277d9d5a48b1be3ca76de093b3d00d3092f9bdd649beb2b621 2520 coqeal_2.0.2-2build3.debian.tar.xz
Files:
 d2a05f683295d62dd3d03428a679e01b 217033 coqeal_2.0.2.orig.tar.gz
 090d5d6994348dc63cd37d8c18448694 2520 coqeal_2.0.2-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbdUUUACgkQLIPbyOm9
DjeL/w/8DZp+asTnvxlkUhPrDBPLETxf5xypdd+w7HoClrJlLhp7vxpSPLyqPkFX
EGxI1DveGH+qgPI4E0gzfftP5oddfEKROftd3xYMOehjChFguPsgQxvH421Zrev6
64f8+m95PaDUTIjDv/j5XwYDjlmJu2d1x/uLy9DUc1tdO0OxBrqLrEKOhqbMujD5
4SkbSkNvEU4RU5XnLyqjQEZ0A5zK+8F4cqZ2O46m8jwAXP7/MuG7D2nTmecHrFzu
d17rqR77WOTs4tsIEPIKeymNnkxx/gj4f6tofOhdfrhooJXljj0odgagO8/VnM5J
52qMK3J8lhSTXlsVfu6sm8zJMbXCybOrE04HTnWI7kE/wECUJNpCcvq9uiLWqQZr
sV9O5HD00wTD8MUSADOOo7spixx2Rg122OjR0i55Vnhw2gNPgJGOC/XSE8gYUsa2
zkvzyQA6qNqayd2bS6lJf+gxePxYyh3gvJXmibEs1/dETD/TQ8StmJtxweB1R7ud
cN+6GkQAQZnNfebCyVpkCkJCelto9ZkziUsSAuI3EICHc3wGB8+aPvaRrRCmiUqs
gbquVbllVlBAzXu4mva1UrtrwRcFZS5EWkJGss2eZ85+Fr33YtDOaYRfj8S9TiJV
EHDH6Mw+b177FWViNAxqhSAU7SbUMgU6wDVV2xYBxb6d6SVCKfU=
=elKN
-----END PGP SIGNATURE-----