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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.0.0-3build2
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
 db7185b0c5a92bd55e551390935da340c9192111 12060 coq-iris_4.0.0-3build2.debian.tar.xz
Checksums-Sha256:
 52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
 2c3fe813b979575dc4953c2a826056c44d922def892d01d7c12d40eff525f3ed 12060 coq-iris_4.0.0-3build2.debian.tar.xz
Files:
 78799f4fd2699f2bbd1197fa771292cd 701165 coq-iris_4.0.0.orig.tar.gz
 810802b3677f04ccc66dca9e0e3ac8f7 12060 coq-iris_4.0.0-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILGsACgkQ808JdE6f
Xdm/dxAAplHdFHgrMs6ex2EYWJVzNR/K6wq6Bfbb+06N9O+ieThMlrmjB1wxKd8/
Rk5cyZ0DyaYHAc3RGQo7aXQYkvYwZdiUqPDB8tECDPEkgpSkqbXfkqcANHnEv7i5
VvALUzEQu/wRCDhNfgHphwArJdxkbzzKHL0E5Ri3P9xEzzfCjMnUeqH5gpkVu/LP
nlhEevHbnD7G8+On+NprM1WJnanZtFBHK8m18RlIz8BHl2qGbUiWhBM+Q/NhTRYL
B+L8YwkOrvCkx0UU5o4T6D7DL2r26vP2PdIclSIzWDEJOhytMqGpGHuZgL9b2+Is
b2VEVpCzBqX1OwrH6bEFQ1BFqEYiDG9wXuPVy2EfqqPYcDGA8ufBSwHZhQ1jvaMf
0N4caMqDcjBOuuPBB3xpv1MJr5/l+KRwvQYNHZ7kuL6sqm41uVX4P75Qa7DG1p+l
p7wNMgxbgnI3OybMbtOZXH+9UBkbhlH3jYYgv2CIpEV1AC4L7Ie7cs50jmlsXKy6
y8SMRSlDuDbgfgwRcubXV4f5n8NtZw89pbAPgVw2c4UE1l559sGM9b7PslxZccsE
0N7xcNT8FvYbMjbA5y9EFsbMcL7HVlVOru+EdHzfUL28QIX9ZTGYkdU8SNoZU8x2
skNE9er6JsRgNH6YgbMwZWTcsLNdAx1lbIKyrAfsWBsSsyxNN9A=
=bcwd
-----END PGP SIGNATURE-----