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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.1-2build1
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-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
 5e86d58c76218aa686d5d86dea1a40da2bf26d78 2188 coqeal_1.1.1-2build1.debian.tar.xz
Checksums-Sha256:
 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz
 4d9fa87e8a9ebc6f83be674b23e1cdc42d67a750d0cba34d478f9e79ed2a539a 2188 coqeal_1.1.1-2build1.debian.tar.xz
Files:
 d9d9be9f5b316207d10b8c51f0248889 218742 coqeal_1.1.1.orig.tar.gz
 f8f620418e007672103046ae8bca5ee0 2188 coqeal_1.1.1-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBjMACgkQ808JdE6f
XdmMUw/9HMy2HjvX4jV1U+m0fthFts0d8A3YNwW3KUr9rrWFYfApranO9MAW/DOM
owynyGB1k8lrlcKF3YHSNAeFVC7sLMwja8nOblZDonuI2z5fLqfEGhs3CiStYKIv
miGIzGrFR7nS6wrNlhoe023JV0cb6Nb3hkq2DupfhPGjiT2zwJCOhE+0NBZb8Z8c
D0ZkTOt57RntldfGy3DIWA33KsTwLZeG8Fsg/1k6JzI9WHh5ShnyvHo94e12IEWX
IdtqOmILn2tmWAlljVO+L01/Qvdp2UR8+Jaa4GY8h6KZzBpM9RdhK1ZpdUVYFY3R
zvGb35x+e+8CFZQpjcE12K6oYjJOwcamndAQ0w7anG8J/R+NrAi0kmUvR9KNLsSE
YSIBPuxSrZvGndd6JdDMKtaoAbTyzjKvu5XVFxiYSQYAQhytqAqg8ropNcJepRF1
jFe9OREwhzF6U74VdW/o5PwvlkRm3QVXBv6RvsBHNYUjdlaZtTQrkFqjwOSY9fFg
qeRZakilT5Pgj4khPhVtfTJWyMpHy4c3Y46geGd54BRqk+Ot4H74DeHLMXD22Z8r
xGMMFSG/q3w6ibUGd/Cr0zE2aeWPSJHhkAgTe3DEvIjusOsuwrWZ5B/yjessOnlS
LBKKZ3uzPx0EohjrA5VRCQLtbeZabuuuUvL/jqhG2fFinqMlRfc=
=u/T+
-----END PGP SIGNATURE-----