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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.2.0-1
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
 c70af5d8344cbda8e39da572d0c11a0bbd3658d6 12108 coq-iris_4.2.0-1.debian.tar.xz
Checksums-Sha256:
 4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522 764668 coq-iris_4.2.0.orig.tar.gz
 5dc0bee17655c150d88af3740fdd19733502c639e0a476e1154923d2b12c931c 12108 coq-iris_4.2.0-1.debian.tar.xz
Files:
 bf33a4d0906f06037b20998f059d5cea 764668 coq-iris_4.2.0.orig.tar.gz
 56212197f59d579ee5a81065c8300572 12108 coq-iris_4.2.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYZPokSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRp1cQAJrGyVodEdE+3v8rj61D/941MhOx6Wul
qFr+ynwvS15Wq2yNXY8aZiCL7anbPRUJTE84TEo8omAmHkwzUSCXDchNs88O0Pam
bvzEroVpkduYihsmfutxn2vKlO2aza2AewIeyV/NAQr8agx2YqxmHcWzIkQqYdb2
KSXrxlylMa92YtBdcHlK7EHFEoca4P36PVCdTwF+RpT7Ox+tOAVwXjEUqfupfkP2
bG9PxlcahoxxiCHwvOcm8ty+N2ueEgWfWje2ZKfcTh6dlTLJhH5UqI1MYWiLmiuc
iftZYKysYOnmtuP062r703q0POtZUcAcnjU2TUAZF+4UhUiOoJ6M0G8Za4PkSYbX
J5ogxychkKwuN2ZWxHeuRWrrV5f82u9jAy+SRlZbZqFgme6nX29gTcAM0O1eQvpx
LgH0CxUEHKH9bzGzL9U5jM2dgLiye3Y2B/FJPy/1yUJUWAKj6jLSYHozpqCp50Wt
KazI2MilSlyt+EjET5243zFuulYuBgyBMVdCtyhuXw+LDOtnARFbkhtP3zlyz07a
DDclb9NGHr5ml+YWaU9tjTR+/1ih1bSUPVvlwqg915w/IBlqqCV68KnDWrmx0a6c
F/ZgcI2w1/tTHONom6nDI3u6AA0D0IUGgRhrVnUdvZjV16nMEAT/2Nhp2jqq0aRs
G4s0DPPIQH06
=1QdM
-----END PGP SIGNATURE-----