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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.2.0-2build1
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
 97cf93f28042d7f69d3c2963834723a38d4a890e 12560 coq-iris_4.2.0-2build1.debian.tar.xz
Checksums-Sha256:
 4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522 764668 coq-iris_4.2.0.orig.tar.gz
 b0c04e89e8a625f0a2c3f0b78f25808cb0ef4cc4426977fe71ff4aefc50a57d6 12560 coq-iris_4.2.0-2build1.debian.tar.xz
Files:
 bf33a4d0906f06037b20998f059d5cea 764668 coq-iris_4.2.0.orig.tar.gz
 507c55ca3dcbc7b8e2ddd1122135dcc7 12560 coq-iris_4.2.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp0sACgkQ808JdE6f
XdmbYhAAhf5n7SZ45bs7lOA9T+BKtzJFBMutEgzdFl6gETC6E485/4228ANsXIcN
AENSqX/dPiQaP6elb3vieEvGrkkxofjqOkL8xxOuLraR4GCuG4+DYcMomq6oF6wl
XkT3uT+5RuIW56etx3uUYUgX4aC773SvUnW89HpsDReH9BrrPplEtdufj2NlQqSz
XOS0QABzgZuLLRESfJHBDYodzzKKua7P405XTbFqe0qo1AagvYw/QhF37lZqX+iW
iXYNW4I5rr3erNNMO4d9qR9KL6lQdLvDKgvUxsqut98h9YK+d+iFMZ2j8D+K8YvK
X/Bdjp5WhD72RG2QJXQKaN0DrmRuGdFgKTtGb8Seu/2rjr716u6WQ7xPNlpPWOmC
lPx6P/TV3pP7AbldeOHk6LttpFsPXcSuUhizGF8+ULbvBA4+dnTHEScoaN9YJ+dQ
oSg+q5oIzqF+MN97Oprjwfpv3jJVHkA66fTMVwvR2tWlobM3Qqx2QVwNCECMZX/d
G7NljG4/XW33VOjwZuKcxpYKB/s3PrbzBdWAh+6/RF55mCgSq81KvBbOy94jzL0j
2DiYjf9CHWmR4WZ7syd5+cCL44WXyzCsd4CryfXR2z9rY+s7XfEhFAIGVgq+s1Oj
KHB5ROTwMYzYhz72B5jniSn+M5KsrRRNKwNNncIC9rFeCFJGlLw=
=meJV
-----END PGP SIGNATURE-----