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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.0-1ubuntu3
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
 30aac462b3e19610019d74183825a8a6478a849e 13136 coq-iris_4.3.0-1ubuntu3.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 ee9741503469240d90a607b9ecaacee0c9eb9dbe881f381b19f48b51d131392a 13136 coq-iris_4.3.0-1ubuntu3.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 93c8b4a3e045720c72e1b5d4c4bf47a7 13136 coq-iris_4.3.0-1ubuntu3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmoS9kACgkQWWH9vpxh
mAnQ2Q//WAapLqjb+Veyna/XXQMw0wnyP+xUCcRvBBdlOKhPlvLBYSXRQpIxN2id
zEHszud7XTqgdQVbEko2LIZqOd8AVwiXAl7kRN2fFSVqFDgzakQt5XUXa1H7Iyce
G9qMe9WuTbaVZvZ52jYNjCNi/0Wh3Jb8z2oeDPWko2+iCfvDBbEU7nbWNLIxI6Z9
jzUf+SMEIclWGA9s5wq80sMeSN/dY09+uQbxd4Fdb2TFi0PDvySTOyBbTepciMm3
8rqLDReUUtTkWTQVw8vDvY2bLv7h/Zt4G1sOTNZk/n/REeIy1Fv68lDF7zNqtFp+
W820/E8XlLRlSU1t9l1RnoeinoHbfQvW6w4Nb0r0xrWLOQkfU11d0bPXSVQe/Dcm
4fFFBLhwVwhE24rm+B4aa54AwOeqUMKc4oW4MIj58vadVITOkTLiPNqG+HI0AXWz
lv86n2EfbYnId1Nw+hZkOG9/m6eOjDiAPFojTkhnS7O6gr7W6ppl8WYRHg7WrzIb
GocKh3aT6TymWfBmNlcCQowvBKJwCQaicYSiaFuS27fD9fyj3vc5+BjM/HKpp/Ff
IZZPb9tIG0a3k8RUUQftn6Ni3OcyPELOP/dsoPHFII+lURpSHIOQebHWShdrYNbS
jkAEMb6cV2m3RApSgz6tAxSUUFWKcI9YNhj9ACawg+g4J1ZtZ4Y=
=10ZP
-----END PGP SIGNATURE-----