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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.2.0-2
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
 11838b0df0e42f66dab3b0de14014766519143b2 12496 coq-iris_4.2.0-2.debian.tar.xz
Checksums-Sha256:
 4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522 764668 coq-iris_4.2.0.orig.tar.gz
 59584b59673fba3d33d64e971be4a0ee9bd26b5fb35ecbe57d487782bcb71970 12496 coq-iris_4.2.0-2.debian.tar.xz
Files:
 bf33a4d0906f06037b20998f059d5cea 764668 coq-iris_4.2.0.orig.tar.gz
 896e1086d37be37837f13400e995d023 12496 coq-iris_4.2.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZnIy0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRC/UP/jDaDpVkA1bWPfHiNSx472RUq++AKLK4
CBwD7dm7vTkyI0HrDq4anhJvn+Tlo3Zu9tzDZCz9NQVDhbWpJvQ5Kz3FvXcNyCdd
Kdy1l/0JX+sZmEMscbQkBoAonlIrQb0/DBXenE6ctB1JWYrX3/N4mugNzlqaVYQy
ySNIjN0XZJDbsAuNVwO8Qhqo5ZIW2wSOaWnInyaPm3MiEYs2oGP06nasB3i1+J31
CueYVsPbaVUX/bJ3AiwgsmQY4JSrIgTTkHeBBGabVphlS1oX78IIwJDfVtkQZhoU
7d1NoY9pz7jt+rG5TgDW05MOI4k1XV7BLFTOiEH0dfPIv91je9EpnKREUev61gVV
ZmMtRDf88SbXn5uSX1VfKRAOFMsMlrtp71PSGgdm5AjKeG3byc4/X5yypcUi1RF2
u1qZjRYetDA3b0hd8VlbXSOk/ONk61Tv+LXGW8LR+a/bSPliDUTpdgD6vW2RkX2x
vZbgkfXAF3T37emdckrwmmoMV99EpBl65Ssf63hYcY+TYdzBGrbWd+UO+O3gKuXC
VZHqidWxf+g7jTz975KA/SfShUc7Knrqrs2JsfTRsxIjqQARQRW7hD6y9KMjVOUx
RDvVRSIQTHs31f/aMgD2r1xYgmz8cDaKZyPlnu4/v9d7zNmuHEzpPoVAJmUO5O9X
nUmETt0Mlj0l
=8h+T
-----END PGP SIGNATURE-----