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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.0-1build1
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
 e550a0c0de9d0df53c01acb6d8a4f2e87157c7b3 12732 coq-iris_4.3.0-1build1.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 ce0f7687d116f42e20d7a2ecf5e09d146d75d482f38cf603793b362c32452205 12732 coq-iris_4.3.0-1build1.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 b8d6d58be8b1b9b62867f4d12841d430 12732 coq-iris_4.3.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeeyMIACgkQ5mx3Wuv+
bH0nxQ/8Dpj/kE3qcBhxqOmVbjtphJKGEaHkT3/RX0dVAeX1BBa9eKgWUznmjS5Y
hvVz1IPDoFvMt64it1XRgs46fccm/8ZRxZspHoioOaU+5CThdlkyc8eH8476CF/D
nJ5vut2F4Y26EAEQcLN+YWifu0wF9Aj+1by9h9vzHOltEJhj5ZgcsoFouT/tBHdl
/hc3oHUUWYAx2b1FIQqZSIjToDWqWrds4Ea09fOvpE82LOLTS4azuDdoH+bjZq02
tUCV57A1cPR72LihtKTS5RUEiZV1SUDVEe3pqQEzx/L/WebxcD5jnCypmwG0bHov
2rCc0CYy524y4l1h9b+XP24WpPPBRxYtJqO6UOBEXxSZQxxr1FcmJtXR1p3QqgmH
uhGxZJyELURIpW84hMMunVv+nvxnTH5J5Q22IR3npe6jG3jk3+gmIpVyB4qUU0C6
hxQjT/H4DfS217poulOgLwq0OUtEKLAz/P+yER9AEgZJ6MQlDIWWnb7mrTY4tmbN
SUPkemnegh3hUksc5avCTTLa5X9X0NQolc0SVw49LyK+mbusSXoeGZs173XCrOJR
TunIzFs676lEqN9wKD9Qh2dslZKFQygKnfRX+XtXqJyLNQaFgWOb1k/bu6GE9ils
CoFt7KzWSJamqvJE/1LZGokVfjndG+A19l6JADtMHfp4aPeizgA=
=T6c3
-----END PGP SIGNATURE-----