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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.0.0-2
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
 913701eabeb3a296f679880677406c01dab38369 11944 coq-iris_4.0.0-2.debian.tar.xz
Checksums-Sha256:
 52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
 de2c5755a64a43673c3de5b0293e3958ac2b0d122239c2b650a076bf261c403f 11944 coq-iris_4.0.0-2.debian.tar.xz
Files:
 78799f4fd2699f2bbd1197fa771292cd 701165 coq-iris_4.0.0.orig.tar.gz
 046eda63cf9e2cfaa7476f3a94ca350f 11944 coq-iris_4.0.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMdwq8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRa6IQAIELgY+cX9AalEhPY8xd5om+YNdo4V17
FCpZskQFA6H+x2IwgIx+yZFkJFebBrCpKbv0mnv08+n0kVWdEQTOa86DwaB0r5ck
adC7/z9DjkUW6su4J5DFPCxabXqHGHvmFPGBuXmeefG0F2r/0aFpEHrXVvCZ3iCF
uEPhuFuEpIs8CwDPiS5cryBubiSz38+DvPeAzS9iCrQ9fsNfLkCCuFId3s1ttlCu
LhFDi6ZXi8tK1SeAP4pdFfZ1KWAG9torU5+Nrcq56Q8MXrO7aQJezE97/DglHkoH
Vf/K5lyEmgElvecYl1J7nByVFgkxmsmzM33Xd8mKY5D7SA+y7v+4yBBh4aZw9Kzz
PiFZCllvgyV657d7JlOcl1H3PQ/U0+9KydiwhIPcFfeRWHybdWtbyiZZ5H1W7N7R
DbwBqln5rdZI2xKqsyiy70tBFrjgb9CDaqUlaouVtRRQmsk+LTgv0fyHHu4N4I4Y
wNEer1Jxz1aYhPjj7x11RxEzXApSXJpNAyqODPeL0i2aRz1o46Z3YUsFg1PmIvfa
6a2+f4MteO+GlJ+aLUDlMT9E0uecqfLQm7pfmB/SYzDXEUN1648jD6x1jsbOYlB7
mBIWVw0wkqAnzH8KEA80ZCbJL3TLKpzEyu+XipPJAA1hDQSip+9lzWDgTc0VXSiY
EDFy6HP6zvw9
=4HQs
-----END PGP SIGNATURE-----