-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.0.0-4build1
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.6.2
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, 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:
 4bb97d644c46f26cbbc4f55e89a285e621be7109 701165 coq-iris_4.0.0.orig.tar.gz
 ff8225b1f74986653b0968649576c72824d5124c 12072 coq-iris_4.0.0-4build1.debian.tar.xz
Checksums-Sha256:
 52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
 94bd8b30238c4ed3756929f64c6d3a0f2e2907bc0cb4ec952648fc4f0bcd9058 12072 coq-iris_4.0.0-4build1.debian.tar.xz
Files:
 78799f4fd2699f2bbd1197fa771292cd 701165 coq-iris_4.0.0.orig.tar.gz
 db767529e36205ca1b23f57417680824 12072 coq-iris_4.0.0-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq0IACgkQ808JdE6f
Xdmm7BAAiNv0AugGKHE1snPBgUOezF2ZiGoxQwf0h1aq9XqX9UpwilSSJJ46+xYz
tNb1VeXxt6jGX/i4NkmJM8nVn0raaVCVHLnbstQ6LfuGvWJziY3bKFhL1xbmBbR7
Oh8NxdOmDdr2K5A+XsOwbW84+zsdOIJgcsOBtCmfukAamSKPj+CBjYpDbiILU0y1
RVM7kcRFFgOnAhBY86a1eEUvVVHzmLomqLzLonRGu6nwo3nadISyVg58VYyPT3cp
8u5PA9HlnM4IxgxaPVJoryfzqKjPfDlzQDi+Ah/XLqYzj3jxnJwrSSbDiNhE+8ea
MCN+EMc2z40SWTqvJdrByPBFvMy8kGQvHVbnMt1B98LlRQukym1blS5kQvso3GX1
Hpvw9oupW6/zfhCK9zRONpZ03MDAYmmCfaFMkNc6y0wPDklcePW3WuOffejY7keD
ny0QfavWquAYX2qUvSnQrSN+nPVRGRR+bZx8S5g+/swM6ByeBfAfqQmPwoo4gzuY
A0+qWecGtd/OeuLar9gBXayHlioJ2UcAFXGX9Pl9md/UL9sWktMSOrgAf7Bl0fBo
tGYMaBx/92yYEvfzPcFANEEaoSPxY71Wo2sq3cwVa0uu5abYuHTNm8/KWWYwlFI5
CdSJB5NYWKwGU1ZBqVeuBxcDkQUiaF8MnChfpKTF6UIhAplm4ro=
=sc2z
-----END PGP SIGNATURE-----