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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.4.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.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:
 1e038a431a3b9d4dbb6f7a9f536274ab289eefc5 638644 coq-iris_4.4.0.orig.tar.bz2
 d5785b37ac373973507c4a3fabcbb71a0f1eebf1 12724 coq-iris_4.4.0-1.debian.tar.xz
Checksums-Sha256:
 14d2be0827b3293ac2c51b54dbc8802936f79cd31260a78a70e78995d5842576 638644 coq-iris_4.4.0.orig.tar.bz2
 6a97edd6df92336c9e1449310fb790e811c906aaea151afb98e31c69be9b26e6 12724 coq-iris_4.4.0-1.debian.tar.xz
Files:
 382b64e452e1adc748827a2f5898d054 638644 coq-iris_4.4.0.orig.tar.bz2
 b69474711964d15357447aa74ea1be26 12724 coq-iris_4.4.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB3WsZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUy+EACY2lrFjXkWl8Nb8wTE9aOh
XOdAwM4jKujhHupl2x86GghEzJJOpapqsijyUQhQ5/sBzEF6Opv7M9h56rVyOskg
PlxpKSxULQ0S+Kxs17AL169Hoy+h/zXQdyCczY625hP+4zxml/UkokSU/TYBGxZM
8W8G7MvUYVmWALBb6MRtG+Z/GJ9wsFsMAfweLx3HlMfPe8tyUZap09P1wYEMRGMP
pmePdwVbAYXoat2YD0ZGcbky2n8MjePAmpSEBjyauMAiTt/p6+Mr/y3Zwg+6XlIL
tELeaQ4NZLXQd4cZxrLlOe/YDbX17QRTKuUENPhY1cgZ9D2BpD1sqCWNexRQTq5m
gEYE2srEuE0OYDOlI4383z3wykWarUdrtURHmrVA1OOU1Azs6jOTXUgGRz2D9J9R
7jXgyUybLttSIZxDXV3zJ0KO1vL+Z3wUnjDsKoiA8c/n3jxQYuonsNIugmtgb02y
QFjP6TmBSUxyEY6BpLoqe91Lt996nI1xoABWas1nR60cisAovlH6m+z1emdlWyRm
yF5zlQGOICrHygf4hDR2Bq4+pi5CcM0wnvKaSIdKuUWxr8g6S3O8U8lGMR8iD6pM
8+PAcJXQgeTdsBf9VP09MziYxDoTYhjT8W5t/IImlySogTEl5DQLTTSZ5xDmePCr
gOsIYh4IlJ8vyHxL1+Ij6A==
=Im0M
-----END PGP SIGNATURE-----