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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.0.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.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-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:
 4bb97d644c46f26cbbc4f55e89a285e621be7109 701165 coq-iris_4.0.0.orig.tar.gz
 806b107eb5311eac11723c1748c04df51b04420b 12040 coq-iris_4.0.0-3build1.debian.tar.xz
Checksums-Sha256:
 52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
 b46e922da1415c23256a0f9f20c335efd0ba4ce0edb3b290bc504754879fff09 12040 coq-iris_4.0.0-3build1.debian.tar.xz
Files:
 78799f4fd2699f2bbd1197fa771292cd 701165 coq-iris_4.0.0.orig.tar.gz
 1142e213a0b9c664040dd8f7b7d2cbd0 12040 coq-iris_4.0.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudnoACgkQ808JdE6f
XdkacBAAu6QdxO4s1E4EkBtNZc+xqVfx0U7Wg7LfWbHc3ZI7Y2lUpMOhvCHzDebL
O+6aqBtH73UhSEQcQ4JHWezbkLM5GHL/TyjJ3xx2HEVcauc1AOfSNyaSK10YP7A0
YvBrGqn++IEzkBsDsJDalWfmsTcNIeJbMlDcawQ7Srrxf7YSPgbrWdCeURpbPXIX
NU+X16zzqBy1ooZ+fyrmq0Mfn68C8ytApWXHVqh7vVmBcaWMsnWA9ooGPk3hcTU7
T6PwgVOJxe2uU7RjDuM54LYDCaZ3FXqr08MGigZeew9x3KzIFeE2hBvBsR0NtofB
cwDul9BmRZY4F7Uz4DdkuEmvKAy/dCFzMcsj9rPg3rQXkE/b+21BvJZmA5uUlfuZ
1OK/9jzPtsqK5FhFH4VfoDWu1blhWykn97KbR16IJiadpghTTVCuTr1QMqmVodQ4
Fw8IghULk0u9dtPHeJQaU5ddaF0viV0dBP89GJYTVGjtRgzDZstELHEwp3AE+Y1x
3elbcrsr7xpJ5WOZSYKNUmlpBP1ioEF80izmqp7MabTvdZBD0XcdsQGbjrWykY+C
pUcmbk3ZdT8tLKEXqrTQtGQaA8YVng3yJIHLUJBOyLLgFR+JD8nH7XPHea5N6oj6
QjuTyAn575Kb/0GOWdb7piKHsIN5F+/f6h8eIIeIbVdHfGo+jpU=
=GP5q
-----END PGP SIGNATURE-----