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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.5.0-1
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.4
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 (>= 9), 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:
 61cdfc464ebf2c21c253f6cbd41f1ffc9c6f3c7b 816280 coq-iris_4.5.0.orig.tar.gz
 6d021acd6aff11808d1c5e9f197e43691b51d57b 12944 coq-iris_4.5.0-1.debian.tar.xz
Checksums-Sha256:
 674ca022294f2dac1776669149dc7eee7d030413e2fe0f5b7ef50f0b21a8add5 816280 coq-iris_4.5.0.orig.tar.gz
 f657c9347a41f2a8a867b4f22901060a2010def0eb04d0f6cc7b44b040d9cf3b 12944 coq-iris_4.5.0-1.debian.tar.xz
Files:
 9322625971703443de817c646f216267 816280 coq-iris_4.5.0.orig.tar.gz
 95fbfb6994e9c108011f7155e6765120 12944 coq-iris_4.5.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRK2AZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaqSD/9Zn4mvOccnqXzcgeFheSh7
Hh/8ZKP0TXKj1kpP0EimYLk+1lteiiDMllxSbbWPYYoMnHaBZSXnhaIsdj8QKa94
H3/zFTVFws4bRxiF0ppnJfJz2p5/htWGpHKkK9PGjEiyFHVsTM+Sq9+D/dtnPK+z
ULgcV0CjJJqq8ADJL6SMJp28eWMkV98f+Hsq8KiRboGpQVYhRDdXywjCAZAihI35
rpiBAJTANOrNbxxdRw5KYOsCHCxTg3IPMA2bHtdQ+1IZ15DVKRcrmwFCTggCZG3d
fNc8LlixPDgetiMl5tJrOx5D0unukdl4nojfzSSSsx4SB/H69/A6jXTtJVse+zYZ
T762CDXdVnmsfz08QJVc1fE8TFVWdA3MavLT+3IIe2T/sp07GnCx7pU/4kalH4IY
Ok3BIQMb/imTodhMXa9qPTe2Y1PVrE+Oce3pFDcpmeEozKYxy3kkvyjHe1fGrw4U
xELSVT58mNziQztPnKJ8knm+h5WvFCO+UMqYGQ7dEbqvVkQOCc4nBjr2vdcwJl1g
P12sJ3cgeUEmMtW9V44EnOO6oEFnbqyHcGngs33X0gcgU0+9wfxvu6ktRPLKySXE
+hImzeiRjvcJR1VV/0cpM/v+bFPPwuW/b1GGXoad9MBrlULDRnrz5S12AMJGMECw
6RO/xFGWyirPLEMda+5O+Q==
=pCLd
-----END PGP SIGNATURE-----