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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 1.1.1-3build4
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
 54b88c34cc511d833493560454418158354c3d93 2276 coqeal_1.1.1-3build4.debian.tar.xz
Checksums-Sha256:
 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz
 967ef0845ddfa6625b79a337f91124deefc1e23f4f22f1d99a0ac9e091112481 2276 coqeal_1.1.1-3build4.debian.tar.xz
Files:
 d9d9be9f5b316207d10b8c51f0248889 218742 coqeal_1.1.1.orig.tar.gz
 c7535ba5a32041e9085d1cbcb49081ed 2276 coqeal_1.1.1-3build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILNQACgkQ808JdE6f
XdncUA//VhQG80EcrD0clwLk8+Ykmy7mU7+6CCGQR7g7iZ2j544bbo9cLmIdstgb
deyKqJqsBdL7ifazFYyYX+8TeWKGTCqsP+1slXbTkMdfvBARfH6dsUHCg8d4IUgr
Nzp4iThRZeQX7lkUE0eUZGNNJe4mwkHBQ7+RIp3+bMFrse5ogf0E6SeVBB4cq9uZ
DnpL/W3rPA52WophjqAqEQmvp7ItyE2PFzeYymzfo5U2LcqbjRHDdjDX5i536oFR
NV3dUotXo0COBgTl3tt4u6+wE+S7Fms4IfTqxbbbnr/OxM/FHOjH3pX3Rn16Vw0h
JaK2wvQy93iJo5WlZpNQaNk7YWkASnAbJITT18ajTLu1r7jnj841/ZchTNqyWglk
5kZ0a9aAZ5WBX7AGzOMWB2bA8iHhuJgyRmag1N+TMWK+qUjKLUQoz9fwwEA7LRro
h2jJ4iJdo+tiT/jZq6QG6biVcav4VSUriU6JSxnvjtCVswBXszASzSWJvpgl+Vm1
RStz4PHaMlAZzP/I18CUXqz6Lby8iZIqIIHdfMbhRyN5zinyb9JysTmB2qR3fm2w
cjEDN6pNwpgMZs9ROnW2UIAW3XDPyDTK5rS0KtRVtaQaiWy0ZQpJNZEVjL+zOnLO
RfIkKVoQSA/ppTljyueJBP8ztkRK6LL7T3UrKCmeONqBuApqjag=
=XzC2
-----END PGP SIGNATURE-----