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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.1-3build3
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-coqeal.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials, libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-paramcoq, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 6b1c030d4f07a4b758621882dcad83763b729492 218742 coqeal_1.1.1.orig.tar.gz
 dd7d8a3da67413caadb572d3bf1617c06bc59d52 2256 coqeal_1.1.1-3build3.debian.tar.xz
Checksums-Sha256:
 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz
 9290b853e76809446bb38ec07b1f89d3583199ce6b2248c5e222ebd876966288 2256 coqeal_1.1.1-3build3.debian.tar.xz
Files:
 d9d9be9f5b316207d10b8c51f0248889 218742 coqeal_1.1.1.orig.tar.gz
 55e8b46232fd1939ac593b5cf42a36e1 2256 coqeal_1.1.1-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPvKGMACgkQ808JdE6f
XdkRGhAAnpToG7a+D7z5gZmLKPTZjXQT3phb9FsZgOH26d7ZUgTfQJGM0SfpY7AS
mLfSlMZuHCdlA9r2wh8A+/Q8iVeBhqkd5bIivJVqFUnn3iUKoclDGcwAfhjeWHo/
ANun6gH96+yLufP4Nbs2saa/GPQYoLjJQZQKClnB0TPYHtA6Q/l58lkF3jBWsN1D
9qWBCoIUFXWviPxSlo6j7yaIetg/Fqflrws93xWFeJYZ1DuHAwGCT4R1kRPRPoMD
ECAc/6UgXKnwyy44v9St5K8Js9jjs4zcKV/WPuJywuQKg3VflQqPvhfhek/ybOPC
cLNnmii6FE+WReP+N2EP6umtIDMoewGfft2jvs0g3ETNXt1JTpKWuMRJXE48iJtw
47xQ58neyJZSIX0yeYYcO7snSJrCYTV4WgGT5wLfE77fzhbktwF9sAVQXk3IrI6l
T9/4+yBoWsFGk619Maf49+PfVkr6yzvrKjAJhYbSI4v96IlqMXPTxE+zAJMQAUs2
0FLbqwcITYsL6Yepnl3MBY0QAdgwpvpFnMhKg7aDBILaptXHdJtclDQSdgFyK2ty
kyZlnZsbnTIrHRTkYBbz48vE8PZyVx6BOCXB3mKv1b1Py0sa+aSW7otGmzy19Bpi
TxCuCGnK2IlVTxkcg3iJ4gVWGjepMszd5HNmgiHJJueU1URTBns=
=L1Ee
-----END PGP SIGNATURE-----