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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.0-1build3
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
 5cf82cf69141c5f78eb329742c77baca0c7044b0 12808 coq-iris_4.3.0-1build3.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 5edb7c29c9c44ec669485a13aeca4652e67e2fcce5db17b5ccc6f6b6feeb223b 12808 coq-iris_4.3.0-1build3.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 fcb0ecdaf1c9ab1b3399fb3d18a8c729 12808 coq-iris_4.3.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAme1OdYACgkQ5mx3Wuv+
bH140w/+PFAU12kMBLdtwBodSNCJuuRUtcGTGIHtuopXfds6mc6XqS4gkwMgj9dP
vC0qO6lVrcZwVJCl2D/oFF+GHxrTDKJ6taDVwPdgzE7Xq10rf/A3per5Gqw7Cm8V
iOYxtN9fSJeyKUCWLQuOToWPoADxBcv+zNb/+/tRjVcCagPdDyBJ28T/6hNW2cHP
jl506BopDhhfNE1qVlWd7EL7iXFjMBW9HLOgljSmTavu+J2Tq4GJGipEDg1Z5sEb
vhtL9opP3agO+L9lGPf7IDA4CmkLhLgF7sXbPNPa2Rd+o6kLg2e0l/OeURH4hP9+
J6NFvM8aGgEIZD0523rDSs65WEg19E1AW0aAdWRNCByxS6n4dC4lVeuOvEBwqg8g
B41obtm59Kp6cIWDZ58TBL0iasjGV3dpOP6e3b5JvkVKQohqDPBHiN/pvCMhriH4
4+u4/EhMrabSC35w5nBApU1GwcWvhKPgYLpOHEDRV+1llyotpbh/edjyH83kjig/
O43mQv64bsUrpT/+lxivBXDdlk/YmiCkqrdkM6KhpPh3i5vzq4leTvxBeih4gqi2
X95VUk6nmXL/GQK936pgf1cKbZISWmF5PhaTYZQOmze1xNJ6OStmNheUQan9g+Vk
HyJ6bVYsZElDSnDTlWwlxXNuL+NjllaSlZmjV+o1l424Mf62o2k=
=ccn4
-----END PGP SIGNATURE-----