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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.0-1build4
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
 2a65242e5e8ec4f0a3ad8a09227b386093791835 12816 coq-iris_4.3.0-1build4.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 5b48b66a8d0dff7557cf5534e11d8072c4b52d5350e92237b6ef3ecd70ab2f2e 12816 coq-iris_4.3.0-1build4.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 963f27b20307412c6dac4d3cd0266bbb 12816 coq-iris_4.3.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1hAMACgkQ808JdE6f
Xdmd4w/9FYojegXAoaHoKbWLwjr991KY/lGuS9WdyLj9/fGRnyl9KCvKnWIayNe7
ghdp5jYNJw2d3GM9d0slxvPYPCEOeyDMmXrmsnqJFLp+zbpdP56D3AFiuXp/Ihfp
4ctpZK+tgb9dTs9b7QRv9ihxNCUN0nfg/WnOH+p4agbDfiIBQoc0YCIfXRHc4IQ6
Qff5gEKn0JYatg2LFv5X2hHmX87quZyH0Xr9t/f6CQUVVF+Ke5miS9jgOQdX9rzP
KtPqtHr88JgxGqz+A53t1HvhQYol5YYLZOkR/EpxGKoftmni2tjEd+BGBpugJJlr
tqe36YyPLIPXv5IgOoZLM44arDzyQfUg/s62Eo01aLeCiRzPOtlJ+yid9AZI6w0J
t0h8UeHQ7ST+KdCFm8gafWLMppmKbNaar4zEXsz+T7N9OInJWE9zRbN23F4saASo
nRYtg5Ha+rYhWw4Mg5mR7beUALTngQWgH/SKc+TIA/SM8VSOZUtbBi6Yu15NSWMl
adjZ94IVmzSI07UL7dkOD61fj3Fn9qROlYRlN1Shgy67WMGFvJes+1Vlf45F3bzM
FjI4BvMEjVs7OZgoztuOBZYfK7UQvB0ja5BwMX5QEscWJNpo0NpXWyo+uO8YAJAZ
o4Ug8GQ5KcoOUfYqGLGBMbKkq5QVgM9yOE4x8PTX+wB8324fYJc=
=wJOt
-----END PGP SIGNATURE-----