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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.2.0-1build1
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
 09882743521ac56c0ff5bce745e50e0cd0c6c295 12176 coq-iris_4.2.0-1build1.debian.tar.xz
Checksums-Sha256:
 4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522 764668 coq-iris_4.2.0.orig.tar.gz
 500a9f40e742abd008a247a0f0c4c133e7332ec2cd426e023fff7ceec8985b56 12176 coq-iris_4.2.0-1build1.debian.tar.xz
Files:
 bf33a4d0906f06037b20998f059d5cea 764668 coq-iris_4.2.0.orig.tar.gz
 27b7da56f596acc15ebd8fbbc466767b 12176 coq-iris_4.2.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz88QACgkQ808JdE6f
XdkRSA//YKQj/QBwraC+dJbzS8/IknddwT3aQ9fkt6Sp1YNRnBB0zdu4+XPUR2X+
gBBC+/kf0Bgr0cu5IQlyHcVwrdU7r+kCf+RUcZoNpDnMhaPslrDzk/GUb9Lb5uza
P6TV0C0vj8KOjjRcaqFJtZdb/tX/nmGd45TY4TECTql8t6I0h86vFO4SDkoXBTLl
AVgScDqekRIp7/kqFf4zFVgz9JWHgpWgnVRE6jeXGluHWXumoiLjRiwBT0W8lW1J
oSnI9i/fC/SHkvucq/LV3Mg546A1+CIVISaOjIEtVOXbP91SRiejH3yTcA7dI9On
Cx+Vo31QcQ/UQD4MgPPYb4VNgDMCNNCriWOmVtPpzFDt/KbZz/4fcDDlt24qPPCZ
tMpPFK2tpTAZ7dGIMw04HMaoxAo99mg/N+ZQqAWfSK+n6ytikdLpkjXfeCvs1Vm1
NtBrl1J4YE5O7FIUqd8SODI0Gkc5yl5mN2SAbRmSgJsbdiW3iN9bS4tos8Z7cUsa
SbepnmIkWexilHAUKo2kQJzWo7r/LJjDn4R/3PnWmB5dCKgA0c0s9DoFUtUJteav
BA7aXl/wdZzaMDVpeHYtDuh6dmxvuQYiHxBvNRMFn9S8dsuzLF9gqKEQSH+cy1iL
JicfYWAMZ+uQ1bsW1UkGwJw9NwlKFu9T/w/QwopZFQQgDrUKoSA=
=49aQ
-----END PGP SIGNATURE-----