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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.1.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.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 (>= 8.18), 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:
 3c6c0b3f999587161cf6494e47743065e3d4af70 749982 coq-iris_4.1.0.orig.tar.gz
 a268d1393c5b248318a7c7c621f63d9d816c1cc0 12072 coq-iris_4.1.0-1.debian.tar.xz
Checksums-Sha256:
 af962d128163335ce0af13a92c0b2bb7423e8e8c6356714c16422f96aee9f694 749982 coq-iris_4.1.0.orig.tar.gz
 6b792592de7466b60a1b6651dd0977c2ab046826b3878016a37189559a4ab44b 12072 coq-iris_4.1.0-1.debian.tar.xz
Files:
 e1fd1bbfb6bb8fc144342e5c7d4222ee 749982 coq-iris_4.1.0.orig.tar.gz
 e9178cbed05ef147852f905efe380c26 12072 coq-iris_4.1.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYw4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRyoMP/icjVCjmSNr44spmAHT6Sfq1fXiqe5yx
TCk1AZforjAtEe6qi8h70QW8Lxb2JdZpo6Mpag2VKb5Ju2BQ9b5mVyf1OQQ7eaoI
glvK4aEbA+Q0u0jd9leCJwap3fC+G+BAntF74OOn2pXgW2dPGUqDXe38ALBSBVJr
gW+U/6UQd0Jqw7YyxSBAP+fFpC3KLcNPaWkRRE0QEqI0at5XT1lAHFMSjY8qTjer
1jCY7sIlQEqOG98adN5baDEEj17UqEh2JqcCJ+dlN5QmMwqCziZl2LJEHTN2u+kB
hu+zVnLUL+HoivXu7otnb9APZFtEX8V9DCL+IGWwz77JQ2BwI2tGj6HbaBN6eSsL
Ji1l4G3yMpCZOJajG2NIF3UAq8gmJp5K+3ykLHUohpCE+Z+9NfLbJ9IfSP8GqBZ1
ilnTQWYAzkzXVfcPS+PR+yI8Lp9/vqtaJWcVSX4n4N007ubec9qml9O6Yo5Mf+KB
rLq1v+AmAafoHIU+Is2wqcmodlpjqTIY7oyPG8A1huvJp1jx4PtUOpDPq61YPm9y
dlYPdk248ySuccaRwjL+7iGIGA0sLpxrx4E7b+AcTls+7h6ITGakGL9O3vLGylcX
5YR4jy5LQIOUsRkuNESKZJ+JxYpLdaDD0zS4KyF6pt82MY5BJmRvdBot/hBSepx3
ld/4Wt5OzxZa
=al2U
-----END PGP SIGNATURE-----