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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.1-2build4
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
 e31d8fc67f9f9a6a1e8ea37d7fc207f486077b76 2236 coqeal_1.1.1-2build4.debian.tar.xz
Checksums-Sha256:
 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz
 c177aa8d6ea6fa3997fc3bd496566e3b3ee1c65b9f2df83a92603a0d0c694160 2236 coqeal_1.1.1-2build4.debian.tar.xz
Files:
 d9d9be9f5b316207d10b8c51f0248889 218742 coqeal_1.1.1.orig.tar.gz
 87acd9bca1bd3e7f36a56075992108bd 2236 coqeal_1.1.1-2build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPTjtEACgkQ808JdE6f
XdmQaQ//dyUyOJSrbxvCsr4s9/dV6jd6Yk79ztkyVpacf+YvSRaLRfZvkXJEz1CP
8VukKvb7Anjy8vOvkC9zWFXQSE9fhF2NiRGa3lb8CPrlFsCpPn68xOahAfab7Kwk
/pGW6IUFHUngmV4crrDzRgs2wrOTd5D7X1gv9rWzScX+7okvUJ2nLwRXWRxyDciX
dzfmlmukBT+Y5QVBi6Va/Uf64C3oC6WVrBpgBFyDpXrfAPj1hIwktPcRK1su9sYp
uT3bfI2HMrjEmM1ZjA5eAZy02Nit3eyeZBvhQdQfCrSv9xeVZFM3s0LSO6O3uYxv
6kClkMnDJVwr3GRAR3jc0C3M0lpncWx2kryDmi4MGzZKfEwMUi+2F56WRLoMiFAK
WKDrItbGKXyef2idCtEfzTFd6oyyFoUWNZDRRgUxm8u3tqaFlvR3oQzJbEZt7f0H
8XmL6itoK+d0AIedsfm9BJLZS80Z+HiQqi0wGMGVXua2P95qBcsYMQ0T7YGGexQA
f+mP0ApNi4vRo1+pL9hMOIxms8TL+044qddQQYST9qYWXvGghQxAy1cpYq5bhUhA
zc1y7+TC/Mq8JB8qh8VSpDoDaJ9bsZj9RbbjcfG3kN7ZNRrF7DDqnhkygP9UU/cY
OBV5VI13llGn5JMh47iwdCiSrSaWRpl+ZQE4zSgUPTfY5nOIY/E=
=dKEy
-----END PGP SIGNATURE-----