-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.2.0-3
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
 7f6b63a1fe2059ddd5ec1c3b8f5ebb16fc766c84 12648 coq-iris_4.2.0-3.debian.tar.xz
Checksums-Sha256:
 4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522 764668 coq-iris_4.2.0.orig.tar.gz
 569342a393847194f2e1548b44fe5278fe3432474d13e2ab3c41111c0769d86a 12648 coq-iris_4.2.0-3.debian.tar.xz
Files:
 bf33a4d0906f06037b20998f059d5cea 764668 coq-iris_4.2.0.orig.tar.gz
 3d715386544cef06ec7e9f3357d092e2 12648 coq-iris_4.2.0-3.debian.tar.xz
Dgit: 8b5223815d3fa7e558c8f29e42bd2c9ff18debc5 debian archive/debian/4.2.0-3 https://git.dgit.debian.org/coq-iris

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDRYSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBDV4IAJGUcpp3Sx2BcSx8wI4Bebke+iliycA3
vHRGnmOo8uopPLkQZJ2UopGbpvFGyb3OOYRDsPp3GgWiiKlZeYCBxcDSbyiEz4r2
qDPASCBNzWNATAp6Pb6EgS/6nqaXjPz9Davko/RH2F2sN1fNi0xJS/AAfXS26U6w
jSpVK/emKQXQCQBirxb6ATHY2UzMa1F2Sx8ri1T7fPBoi/GIYkZTyNck1LGX9psy
Dqiv8EWMlKq/sw85ky8RnyRlXNOn/Ixp4xvBM2mlzT23BX8KTISkoqSDKW1LQIdB
yU0WEAePytdDM4Bsay57UQaRWC1VLL0X4Oh14sFNhYbTWjG2fyZqn8Y=
=OE+8
-----END PGP SIGNATURE-----