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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.0.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.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 (>= 1.8.0), 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
 134503bd330291a7931c5e2964ea69a113fce119 11904 coq-iris_4.0.0-1.debian.tar.xz
Checksums-Sha256:
 52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
 a3e3d9f8c0a93083e7764f178e80a35e79bdc242c06c2a76450a4d74aa1a91ca 11904 coq-iris_4.0.0-1.debian.tar.xz
Files:
 78799f4fd2699f2bbd1197fa771292cd 701165 coq-iris_4.0.0.orig.tar.gz
 4a22cbaf7f5d70bf112cc7719f92ab35 11904 coq-iris_4.0.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL/WkQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRuMwP/019PiO/pw29GJnFkw3I8o6e/uZ+p3v2
EnGfgghKNzUhxgDDG1DIi6ngwqyVU2R9SNQy38tlmWSXCTyC6xOX2rkPxgKbBpN4
Tb7icfaHwSnYjVkRY6tVsZDep49Uj6KQajs2qpRaNW2hw+HqAGl8uY8L44IyrHhx
gDSMhbzDXeOqM6JPOOaHahAn1nL/Wyvg3AVM2Hr0vuOpNg7kJFsOGeFvfpKzSf5t
qigwgiZ1B8zqdvu6R/dAqMAJj90HxzJK5X+9/egzT0WpyWdK3SfnO63wdFaHrxkP
BVL/QMYUBblJv3K1oPkvoo0FXN7x7uZovlo20XBtOC6QFKOxhrbsHurqxLspi3OK
GrGETPnkDQhoesYWbJCYrogl09IJ6PKftHbd/s5a4V0o+aRxgzrrN+QCsThklnzE
qCq5AJ1pdu+kvqLdCppGzoVTov48tS0g+flFGnjgVNeqDM1WSlH/tgtA0Gkzv/SZ
vcfLMAaD5+UM+co27jFRhKFh8OqORr2XnwJEdv4eDE7RdeD+v1ixE0eHC+zeSEbz
8Fq2C6ETsn9TYFFqstxI+e64QqjDUndM61AdC5e/Q6xYBHPZGlwAYgmUcgy7GmKi
e0GvCCy8shea5p8iKaC+LJNwNRFlitr/tRMOMHQU2kkh3vVEjpUsqx5SI464VoDT
cUVqvU8cITxq
=2FPY
-----END PGP SIGNATURE-----