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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.0-1build5
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:
 81a86e454cab90ae635a38f65c7d6c73043f2d7d 622627 coq-iris_4.3.0.orig.tar.bz2
 3b9b229b362d79e38ad7d3f20183b369ede65e95 12860 coq-iris_4.3.0-1build5.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 34b28cc19a44eac4449232f394ad9ccc5688c8d664f35c09258d79533e390b2b 12860 coq-iris_4.3.0-1build5.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 8abc983843f6a4c9f5d96bfc26812985 12860 coq-iris_4.3.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRjkACgkQ808JdE6f
XdnNrw//YDUf/p1fZhg4XOFtsOl0Su+luEr/GLJvdazalaZEqZ+x7MTWBlaM+wyk
hnbOcIrpN7xEY52/ijihwuYcgnGu0dBG1Y2D6oy7vbo1AiRdzifD3/NBs/64NnuY
35fJ5Eki3/Ri2NRVXUkZNekNvPFtei1Y2sf3B4vt21bPgYLo+y6YqtopBcm7aYeV
Q2lvUQKGfZpYRLS/FnB+W0gE6wRhkumTwnYc24TqVtgBlFv46AxtX0UzZ1qH8okM
OECSO3QjHx0GUq/f9FZHv2sYr8POq5zDJhgDpHLIgUaGVFCAVbQzPMfVaXPvmhIa
Gqh+opj6LenmjRiSqrP0a/2UfE6GYAX8S08QlFqYWy4wwscXpAi3tO2Flcb1By0J
/D5yu5pwf8q7kNTFZalAKtnVhO9wMeyZ+JJlk8ZDX/G7KPPt+nykUTezUlqVC94J
VrTnB7ciXTp6XCp1SlVktTeegDp8yWzRJaUq0rQdR/TzSRtKAhrj2BrW9S3ug0dg
ExI+QDvdCPH7zSBlnSCH/FZd7Lcc0X2dYF3va3bTg8nR8D1CMBtrULZJb3MtIT0a
bkc6wAsRR+HvF22e+UCAzabXkyZyRY98hO2Byksofph6vvnGzYODKWY3by+dZYSc
0i20zG4bXNKDg0u6Bi1yDQKeEByB82rLp82RHyL7JUa3oA06sZ4=
=8tAB
-----END PGP SIGNATURE-----