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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.2.0-1build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gitlab.mpi-sws.org/iris/iris
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-iris
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-iris.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: biber, coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, latexmk, libcoq-core-ocaml-dev, libcoq-stdpp, lmodern, texlive-bibtex-extra, texlive-fonts-extra, texlive-latex-extra, texlive-science
Package-List:
 libcoq-iris deb ocaml optional arch=any
Checksums-Sha1:
 8208828253909b6cec3d4fd443c30d8b5884028b 764668 coq-iris_4.2.0.orig.tar.gz
 369dde9d19e2fefc32d94b90bc16096811f96444 12208 coq-iris_4.2.0-1build2.debian.tar.xz
Checksums-Sha256:
 4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522 764668 coq-iris_4.2.0.orig.tar.gz
 1627e213e2160b3719b2774d99eea534aeadaf5163ff36cf6155d84435745435 12208 coq-iris_4.2.0-1build2.debian.tar.xz
Files:
 bf33a4d0906f06037b20998f059d5cea 764668 coq-iris_4.2.0.orig.tar.gz
 29581ddd59029fa3ebfa2f7fa690b3b5 12208 coq-iris_4.2.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWpYACgkQ808JdE6f
XdmI3A/+MyUiatRs+LwSFS5uZWjlHCDWEYp1XFq1JRaxQ+kbLK3lgZCit+kPvFr2
m1PNUOcIjdN/6OG5X7WZ9e9i+3hXALvzmX2lLJOwn+eFSEuzHuLhPUms0bY6JhQ0
qXZccKmJrsTMrwP/p5JWoZJnGMUHf2jA7LBXALVdJOUXDCXSoIn6+Uv35dJQGGdf
dhYeIcEL+oNaKgpbxmagrhNYhcVqRT0PIpl9CTH3oA6ArnL+BURcc2J1KC+l6iYc
dnd+LQwFBm1bxJ6AvYfbmBUsw4CH7LX7lDm01npTjkJ3EsFjKT9wEHaxeFcTD3Cv
ZAQRLT7pvOtaliNvXElHHEKpGmTe/+g9sDd1GrsOYUjzbJQ8dNU0eWVfMCamuhXr
tRp9gKB7Tz68X5ax7LuM0mkMPb2EVNzc6o/XyvP/be4EZevXHerzX9rq7q3Z0HhZ
StD9AINzO/hyeoPHQ1gBtRykHT3s2HQjufiTREA/+IbuzTsojPh0smHCJTljAf/T
bDZWlT3SYFPz/3coprWM+zTv9cGBR4d4I0id0mYqRu6AtRy+jriNr1lrEtHquzyw
dzkbaU5YOsfVA5KTKH7KRRHqQ7sWml9wMZTjh+jj/vGNL7EDRiZiWeUHyBrpf7i+
IovxPoCU/Dzra5fw13WotPYqPZaYEqEoqmGw4FpBJtV+8iHEcS0=
=UCJ8
-----END PGP SIGNATURE-----