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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.5.0-2build1
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.4
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 (>= 9), 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:
 61cdfc464ebf2c21c253f6cbd41f1ffc9c6f3c7b 816280 coq-iris_4.5.0.orig.tar.gz
 606396d90a83dd6adaf5c8a826a04492afe9fc0a 13056 coq-iris_4.5.0-2build1.debian.tar.xz
Checksums-Sha256:
 674ca022294f2dac1776669149dc7eee7d030413e2fe0f5b7ef50f0b21a8add5 816280 coq-iris_4.5.0.orig.tar.gz
 6c8733e2a920a7d60d3f1c55f4854a080ef3d99d9b954632f34040df161b39a2 13056 coq-iris_4.5.0-2build1.debian.tar.xz
Files:
 9322625971703443de817c646f216267 816280 coq-iris_4.5.0.orig.tar.gz
 b49076e3acb0899319bd137814a67cd1 13056 coq-iris_4.5.0-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqVNOkACgkQ808JdE6f
Xdnv0BAAlofgYTMa9u1BHemddG1nUAmGTCxNIlqEMHfpC3wjpXohKtxDhC3AY8X6
plh7gIQAoWdzt4o9R3FheRootDfTiZPVnI0n5Kq31ng7OpSs0OgqINbL7bzcSDVS
X/EwjShzSTTCChgudXc1i3ClLEVIAiHehINYL9Ix0dZqL7sEARiayKU2AwNyVxRi
QLg5kRz/LEbe1N3XvrphywH6BzEOy1jUS3JeRV1Ze+ojlV0iObLlU+B1Qp0Q9Vuv
g3F40A1VuvfzXARAzdF1yjZnwsRhepamkPo6OYiP9qnLFan4XGKZU4CXwzUnswU2
Ov5W9W2n/5Jf5snDW4WbRoOMC+J6rGT/DRnqVKXfs8gtKOxQDS2ZwBMAkqWiJHeb
6vQQRqfnirnIKnpCNez72bjonne0PtdRCVf8eTZ/y3XQXa9J5uuH/ARaigybweoW
TRP4w+F147fFfcCOy+IcR8RizxJNyQ3wKwi9klB3uMWsXF9cAdC9S2aGDaba6H70
Nr0W5IG+T1E04apIJIbhDExox33G0bbX3uwim89NzhUy9m/mXaHE6DXjg0u3XEiq
ym7VNE4Vm9COHCKBWIhYu6qTyk7C0qCStGBynDGB8YEJ0bpyVg9tHdMm4mdbCTJc
L0Bl7ofbIi+mVZ22z0QJTzjQkNSxAaer2/aRYcoziXYwcq4zKb8=
=b4uh
-----END PGP SIGNATURE-----