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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.0.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.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
 a352e366c27ad9c1d0fcd5ad1f9ca31ff84e5da6 12008 coq-iris_4.0.0-2build1.debian.tar.xz
Checksums-Sha256:
 52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
 6d537b5851b606e8bb6252d19e3227a499430e1ebf90e084153317dbb74a21a7 12008 coq-iris_4.0.0-2build1.debian.tar.xz
Files:
 78799f4fd2699f2bbd1197fa771292cd 701165 coq-iris_4.0.0.orig.tar.gz
 edf2d1769fcb3e7389e7f06c7feac530 12008 coq-iris_4.0.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBc8ACgkQ808JdE6f
Xdk0+BAApifw4q14XG+Ol+PG0Mfua3P0ia/m625y/ytrif6wMBWCTLgCieZpA4Db
bMg8n/CPdFh/7mfeLnqZ7Z0VC3fz/q6fX0loFx8iUD0duJxSFXO1bGKKhX1aFEtC
B1ugN3XvWa8iSde98C9WBqUfeEoKShwobs3f28ZAQIyhIBBo1cZEC5Kqru4RBLLd
ox1uuQvzw6C7/oWHqC8OfQQzusSwb/yHEBdH0O4m6OXzgP4BGX6mdy+azTfmfgyx
PZ5UVwO423Kf/Jiq5tUq+mWg+hREJlGp2yRcxuv/KOcwEkgFEYzJShnCk7fYFqn2
lEhzqeXEP8RfIXnRZmMeEK3lqXabtTtbm2yxuHHrr/JGyLWGctprEOxmBPlp/Jbj
Y27ZyKwmGdwS6myrXOYU/MpQ7fFv/e53BQSy/nYhOgMuXfFEzvPFn9Vg/weJCbEr
WsEaG7h41d9sUV4NSzXk96X4l1CtICfbUld6WzcY4bd5ep3LDOrmBzpxDF4KUJFc
HMS+3lMiduE4mCVBsk9G3RFst1msW/YKz5Hq804scY/sjYuoPQ2Sy4tgZcNDDIOg
5lq54TwLwdcb85JnDIApNP7WlNO8qWBzzyjr+lg+Rvy5XR22RzRZi3FjrbB/i0Ua
TkJNqj5PiHn98kJHraA5eG5tWRs2951rN8EkCje6660vEUycxHQ=
=i2qq
-----END PGP SIGNATURE-----