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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.5.0-2ubuntu3
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.4
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 (>= 9), 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:
 61cdfc464ebf2c21c253f6cbd41f1ffc9c6f3c7b 816280 coq-iris_4.5.0.orig.tar.gz
 92183d43eed3055884c9fe31c31cb12e8456049a 13176 coq-iris_4.5.0-2ubuntu3.debian.tar.xz
Checksums-Sha256:
 674ca022294f2dac1776669149dc7eee7d030413e2fe0f5b7ef50f0b21a8add5 816280 coq-iris_4.5.0.orig.tar.gz
 e442ae3540957cba9c477e832840543889f0cf45b7c1eea5e8d269943029ac5b 13176 coq-iris_4.5.0-2ubuntu3.debian.tar.xz
Files:
 9322625971703443de817c646f216267 816280 coq-iris_4.5.0.orig.tar.gz
 d82116a7077f453893fc54704a82cd8b 13176 coq-iris_4.5.0-2ubuntu3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtYXgACgkQLIPbyOm9
DjcK8xAAmKgmEiGTfn/nR4Y32Jpe+AfISCqd16DVGM34I4l2ySI/uGRbnRml3tgP
MHP6PgTUjVUb0Q9RXUV8xXTuibLeQlm+zYYM+bF3XsFHk3nA88VzZE9XOUQHynTG
/ynpu0Z86khXY5+K54MjFdKiSuex80uJlbR0glb0upHl+PvdayFsT9qURnOhBxQl
WQg8gf7yoVCIdj5SYxGUb8s48jPXu9wwwPfquURWd6qkqChqz3Pw8wQGyuUkx2vs
uYgqyvmGoyBaXZjq5SHDZiklxSOagRElff5usddcG8tj5Buqd+e9lzL64G5A2IL9
Kge+r2SVozd9PZ2yVo7V9gYJRmvu9UXrn1o+kd27mAmHTqXUpw/5/4WgkffNHpFF
ZhrEb3kVJkAM7LiTiRliIbA8uYXEq3E/zpxocklNLW3jwc5D8zAdJkhvBd+vJRVk
rvW+zYni++ltuIB4SQcurmGBT+E3WTnw+XV9lmj0z3n3gfyqiCplbKRzmZNen489
4zjm/v2bMmjGJGt71fL/WucJJJwOWZFpwt9wkreycLUeDKb0TlM919djpIere0Uz
BMRalcm+rnJti/FUI0Ysbq0XNiGDSS/RCR8+WOjGg+2p8u+VSFA5xp0lMVeRz7h/
HXQcTPd3ZtSw/rLwHmoc2T+Rc6LsTuA1RgCwt7r8kG5pgzNolWk=
=yYih
-----END PGP SIGNATURE-----