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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.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:
 81a86e454cab90ae635a38f65c7d6c73043f2d7d 622627 coq-iris_4.3.0.orig.tar.bz2
 8087c5329022fb28cf873a0ed918e9eebf976a9a 12788 coq-iris_4.3.0-1build2.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 d9c30535db4101dfb52ef4de0e9c1eff1c1d529a2c965dca1fef15fae00f618c 12788 coq-iris_4.3.0-1build2.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 04489936d10c48874de5815a4c6934bd 12788 coq-iris_4.3.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeug48ACgkQ808JdE6f
XdnOlA//bbUvj/2UZoqtsYl/Ve5FUS9qSGOQOE0lTbwIh3yXLuAx8F0BIY79yQ2K
AMZTjtOuuYbW7OGSUFkTLwmJ6aJc4xlU9i3rs0P+BncYL9ILbCikWf43xuzHZ0Ah
kgT9UJVlbvAAUah1/ZsZe6LuDQJX7Lr/gwQhGZbZiGFOJmWq6fq3v2wl1DysIih5
O0DeXQfSbwWFSel/+Jg017WNlEEdnWGuOJaGUlu2Meg7r6CqtDRzrPtz7KztEFc1
+CCGH+XAd+ygqWsHGDCvu82wFu+nk5LZN6gswnth3UYWmNnGzChWGMtyRoQuCVoE
4qbhtunUxS2nIr5y+pUp1slm7j8BqXXqzaoLSA0tDESqLAuIAe3S5DwP5qqsd3EE
a/ChJPTyE4B0cq1tB3WPNisw4xsjP9hUvK/cM0VocKaI7QXGhG+3XxSz/8ddkLVQ
8ZlWw8KFDsmEhrjbx5lNRaRIoFhBAjMSSsy5GgTiXVM51YX0fqCixxWh9cuDxazQ
gQlqcaTxoNT5djCHULYBFei+HpAGZJ5EmALoFW7TJQnNaSrlMq2rENzBOgdfpWEq
zBUsXWLBL4JQjSLcT9F3SItU+qjQJpP96p4AOSEZlnGjP+q3KNOLjGfWHk83skJh
t0ik6GeJy7fK+FRRvUAeQ0Gavn+0bUN3vK6I9Fj0QQ9lf7ZPOIc=
=W3tu
-----END PGP SIGNATURE-----