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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.5.0-2ubuntu2
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
 0adcec0ed42016b154a82e95538a387729457423 13128 coq-iris_4.5.0-2ubuntu2.debian.tar.xz
Checksums-Sha256:
 674ca022294f2dac1776669149dc7eee7d030413e2fe0f5b7ef50f0b21a8add5 816280 coq-iris_4.5.0.orig.tar.gz
 3a6054082afff7d616af9019dc3fb64ad93100aec75407f860b69ba59e06e533 13128 coq-iris_4.5.0-2ubuntu2.debian.tar.xz
Files:
 9322625971703443de817c646f216267 816280 coq-iris_4.5.0.orig.tar.gz
 1e8310a1524dbb02187006c9eb6e6b94 13128 coq-iris_4.5.0-2ubuntu2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqi8TkACgkQ808JdE6f
Xdm1xBAAz6AFlNCzkbPicVGrfsl0x90U1zGqRT0Im1pa9CXM1VffD86rbgwM3E5v
Ihr0qk+5MFoHRGsKa2oTd4XaPk53QxXhvpj10o3CsjtgNuj/rsEid9EqWFP8FfOE
qU7tmDY2gt05hvRoUBR2XvpJwt8DmHFrywYzY4+HWgIKG664MygUTKKEGMjfOEkr
0RxlFY7IRAiQIB0PjG8a56muHv6nvj8JCy0F40sQEThHe1Rhv2xWb6Bo4FQ40jCg
1TbdHl+QY9onY3Sg6WEgiTxCDhwAvEvhfGmweWqG7jOyrrJk0aovlLFQi/OuSzSw
844KlX8VCcWJ5Qtda68vdQIsEzKbE+u68ZvB8jy2sf+d93blb+XjzILFy9/CNNAK
9/ueZZ+fMCKPE5Mr8CLtPjjfMue6IvBV+las28WsWSR/Al1+aJZJXYm+JgpAvc/K
NFkQUTpvDyvd0JX2z841gSOTOfygg2cpq/0+j+WcyVAhxyQyJGM7hDnz1ek45jSJ
vvkhi8PJ2Hx6+NCRncm9uF45M2H8Z+URKJuB5lPD5exsyqQCkId1jGqTup3d8bd8
BVkb0XpDS5UcYayqCo9S60HBjVmDVKnWXco8gtlg4zZuapu0kP0JO29uYrxVGhgB
+9j1cQogoZptm3Wq/eLF8kzG9EiKtomM3Y9TuSJ9+Pk0myrRXfI=
=MlqQ
-----END PGP SIGNATURE-----