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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.2.0-3build1
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.0
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:
 8208828253909b6cec3d4fd443c30d8b5884028b 764668 coq-iris_4.2.0.orig.tar.gz
 69ef5c18280680f5c71a14bb39fd553cfc7356bc 12712 coq-iris_4.2.0-3build1.debian.tar.xz
Checksums-Sha256:
 4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522 764668 coq-iris_4.2.0.orig.tar.gz
 347af4ae8946194c6072ac8ac349aa34b8e3ccfea3ed1b129557e7d2a10a8b67 12712 coq-iris_4.2.0-3build1.debian.tar.xz
Files:
 bf33a4d0906f06037b20998f059d5cea 764668 coq-iris_4.2.0.orig.tar.gz
 2c3f7f84b98f879f8b88145a8ca52984 12712 coq-iris_4.2.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9ovAACgkQ808JdE6f
XdlDow//bELQLAvoQovpVtUAgu6Fp6IchQzFxxX3TkwjtSAx9onH6YHDhMipnbCf
WwtiPxjpQqqVHEXReCivkHzar6B0jgkqVUF0zF5BijRWaSXuX4W7QXODZaagQwz5
KC/d/SDE6fuvWJ39hb7aoj/PbiWi56Q/eQP2Jq59VeZb/M1acNrinXUxub68dCH/
74BCn23Hvt91jmOHt150pZty+uKkjPtmxXBJUkgmn8IEenIi7VFUVxfyWvYquWPN
rU1yYms5wNLWRbYrsOvzkQ5Gp4HtUJkzVD8TO4wKYhSsjc76+J4txeWal/SV1+Hl
+oXkzZuw7kMcVlNUJVisA16VfeeQnYm0FfBw62sVV2SRKaZGvQdUPKjK/FBAKc7m
w8wC6vVlW6gyxKuFHB20hoK+KCQ5CwPsxqrmPZAymJX+HsmV8ja5PM4CNRgW78P+
W/A2sXdxjZHTuP97cHTXLhUznwm9CAecjjx+Ij3dTehsPB3IkAGNnN/9k+zHDwoM
Ws+2VGx3qrp7hD5uXsFvzGc4zOrDZ9VCx45w8cmWZDhRB0IgScTtBOIXCSAuS98H
tmxku0+eiX4CeSbXcnnQZeQtz1H6ywt+2Of4G41Y53LhqoVY098kiAGCiYpc+cxw
FtkeXV2PcOBhf32XZOSjRCQG8Q+hPWV4cEA48XtmanETgqIPhlc=
=hyii
-----END PGP SIGNATURE-----