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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.0.3-1build6
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.7.0
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:
 d7a91350ba1ab0f58df083df58d006b29955ca5e 217009 coqeal_2.0.3.orig.tar.gz
 d4f55e227e35b6ab91c43d611893642369a229a8 2576 coqeal_2.0.3-1build6.debian.tar.xz
Checksums-Sha256:
 13baecd594e8abae28ec6fd419180e011eda9b9255fa35d628e4e62241554fd1 217009 coqeal_2.0.3.orig.tar.gz
 b0437f7f73b54c62b240c86f2914d8fbbf7c58e001c39b0e7a941008db3ba69c 2576 coqeal_2.0.3-1build6.debian.tar.xz
Files:
 2cc21f7657105ecc1106e216be3bef14 217009 coqeal_2.0.3.orig.tar.gz
 4f53c28936eb43c5f1f37e96e6584709 2576 coqeal_2.0.3-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1h4YACgkQ808JdE6f
Xdm23hAAh19rS3SJt7YxzuOk9ebl7imLaB+LNxlFGOVZjaQmHJXY3NxVj3/TwWmG
aEt+YEpSlglBBYla7zQRrx9T0JW5WGpYR3zBAQJXYNt/0NtRQXv+zmhyNmidvHQZ
xjwGVi/rzU46MheNFYEUSJx3F5h4Rb67P/48kuIilHjYym+OXs5Lg/1C4Gjb49fn
X/BlpMt/0ceHMxJOpSQU5obKDlwhDFSZIyKNtx5gbaxggXqt1JZeA5PZmg/yu/Bl
UDG0fDGWq6jNZWbay/S2kXwf9JpL0o8P+WTKTtmEDjzTbC/C/cWX4xosaaspOwRt
jbK9bxYv7rSVXZtFyYochoFIkXL8lj/KwCmJzqfNSPmO5a318EC5N1bfOy74k1L3
cqZpNEnzUQOIxikaVekDBvFWFH3HU2z+/mrqs1YYNPH9EppD8NV3bG9eRHS2y/Dl
jWevkF6kLDkoAUaZOq5zNpCY1LSLWelZfOnLm83+LR+gm78vZ4nG5ful3pTr0dJj
X52B/9uD9TsTK9sp74P+/hdmNxkCkp9ndUSrtJl/11KuQNvU91s2FhEbCnCxOyeF
+CKInazFbALGWh8lXy3NhSg49lFHpNqy85yy2995Fdj1qZO7lkywlUfmAqIg3q45
Nrf/8b/Dpqvc0pqoHhAMRaZR96hDg9RwyBuwkbm2CdWisKvaLZc=
=2AC1
-----END PGP SIGNATURE-----