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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.5.0-2ubuntu1
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
 cf15d4990c2e36f6aba228821dc00fbe8efdb03d 13092 coq-iris_4.5.0-2ubuntu1.debian.tar.xz
Checksums-Sha256:
 674ca022294f2dac1776669149dc7eee7d030413e2fe0f5b7ef50f0b21a8add5 816280 coq-iris_4.5.0.orig.tar.gz
 79dab3bf9885cc309ff7bbbdb2a272c8bf12551a70da498fed57182a461f8656 13092 coq-iris_4.5.0-2ubuntu1.debian.tar.xz
Files:
 9322625971703443de817c646f216267 816280 coq-iris_4.5.0.orig.tar.gz
 c15169d8f2b66861723c1f3a9241e025 13092 coq-iris_4.5.0-2ubuntu1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqW/k0ACgkQ808JdE6f
Xdm+/g/+MwB9rOJ2s4wvJXXNPGilCjQvcpGcVgZHcB5adlgamGd5Hk9xApDyd5Dc
zbrhJc+HrlQyMtRCvuHA9YVAz4hCbgLdl2J/UBvEbTIUKbB55BQsxphbyFsKt1e+
qEeO9d1fYSE2/hWsS/KYK9NPzwfQ3UUukhurX2WzQnnWH0BmuixlGMj6y2SEYjjc
CgJRH6DMv4m7gjvuuAhPkPmVhvlOhncxhcG9BCz4GWpCB0bcpfpa21EVNcn5stdG
LwXdsWBn2aUvq3wivtq9Hy0drLu4XEA2EHjOw0njHhpnmgi3SafE6AcHbA4wUpNb
kqmgKlElSejp2a7XCp1XRJVuCt+OPnHW3uIws0FOhzFf9yGeJnrFSMihGtcDMZWb
7jEpCsxvTZoxHyX3akhIdNVzLheqaemi2ooTQSYTO799PiWQIioTjCL4h7S79Z7i
iP5HCW3OgMsFAqaREg2OaNpGg994FbKi1y1N6zgcA0nWqjIdQ1enjYSBayvR3SSS
SONrCjBvgS94ZO/ZvtQa0SX6+kkteH+CUnQEnTbjFMbLUUey0DplQnutBOCjbIxD
MNjhZ7vkMoT1kssSsGG6PdEChq0QcA9PXF42IqONQg3rV8QyqODu8XcOMc2uPFcV
Aw68zyAp1VDIG2sOCmd+ORORKSvcCfi9Qhpvv+66PdRVmz40myI=
=OrJK
-----END PGP SIGNATURE-----