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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.0.0-2build2
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.1
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-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
 bc79748a554c47ac3b7ca4b5745fae6a336d7095 12036 coq-iris_4.0.0-2build2.debian.tar.xz
Checksums-Sha256:
 52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
 982b83c4d97a62128dc9d83fa18c9b81514c3d81bd99f66573f7356ca95b9ca2 12036 coq-iris_4.0.0-2build2.debian.tar.xz
Files:
 78799f4fd2699f2bbd1197fa771292cd 701165 coq-iris_4.0.0.orig.tar.gz
 9e37ec13cfadf8d3f43c3f0256b6cd22 12036 coq-iris_4.0.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOW0ACgkQ808JdE6f
XdmbfxAAuX7a7cC5+XQ/8sR+3XY7aIJryQJJQCQH8yCJMQ5kMjzSMgbPe4BF43mW
NyrWnUjmwV8i8GWE3qJNv1kz0Bi+l0N7qjczanASlY8neOcoUtIxyJa6liD3XpIX
d4pb1qhe3EitJyTmaFUSZcGp/+Km9LApvxXzOeRdynOF8GLM4iTh9gzVgdpekmEr
2StIDpFq2mjhT1ofLVgr9Jij97O69a3nus1vOcbnEdfnbpgVqgNw5PLLhrAdkuVV
DZ8FvpONsy5BxzQFf9W8aeg1cgLY3LUaSTSlCH6uNvBrkdKJ6nXlDRBdZk/aI6Ww
hxSftbdVF0aProHE+kPgaesiikltdCsZYt9Cqv7zPk1jbN49f/8wcUkybU5D1KMF
yw9KhuLjtC24sfjltNMojuOZ78DSfGRDGu4XK8YE9n/wJ7T5rfl7dnr7yiQdJ8DP
w9N/usgcMOecU7EUU4JxIBUp1iyEL72bDU2MBJR78CwyRM2FnKwM33fcRW7PvTLt
KabMEGYgLManAM1eWZHLFzVpFGkm50DjJm0i3X+bAxagpXPfxApvgL2pJGPnb6OF
ogUqx5r3iRXfDpwSJIPnDTFonMsgtuseVqIztmb3ae4dQEeMlA045EsBAa5yIldd
RmdLKLOqNnMEeype1/J7RLF4i8TLZsjHdxWuzsRSR/B4U9c+Log=
=LHah
-----END PGP SIGNATURE-----