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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.4.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.2
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:
 1e038a431a3b9d4dbb6f7a9f536274ab289eefc5 638644 coq-iris_4.4.0.orig.tar.bz2
 43f1b4a5b57afa9b81342782edabbbe8b7851f61 12760 coq-iris_4.4.0-2.debian.tar.xz
Checksums-Sha256:
 14d2be0827b3293ac2c51b54dbc8802936f79cd31260a78a70e78995d5842576 638644 coq-iris_4.4.0.orig.tar.bz2
 f7fb39c16c55831df93c7e83d538d8c69419ec835680b99623d3641b2148dd40 12760 coq-iris_4.4.0-2.debian.tar.xz
Files:
 382b64e452e1adc748827a2f5898d054 638644 coq-iris_4.4.0.orig.tar.bz2
 ed250e3e67588478251b82209ddac52d 12760 coq-iris_4.4.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgO0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfQDD/94h4lfQbfvAbg9QDHsj27t
LZ70u7qJQDpeZmYMweRj0ohsRyIfOl25yC2eOIwpohHA+Pk3BWc2QYFha7uk4vsx
Cnd2C+OaA5vL8ZrqZQjuY54qcv4Zfh/jtaoiXB74OszzxTMQ3l+XawhOYR5qIoW3
/hjQqPC8Hkp3DhxZTcy3uY+U7FcOfurddfDWXqahRS7FJJw7Nt9sYotTIKyuTGV6
lzJOPXh53E1fMwJBm8199nm3EgxYYOQbcTrFVhGyyP+UkmLDXFl0u+znIAkft4bC
kMPfrl7EZnP/A+XnCSl8DuJkJhV/b7Rgu2mRKZdzaZfRq8oaOk/Rbx39D+td2H2V
lWqCh6L6gQQawSUGvPyJAGUtPRk3KLgcDXjewmeUodOb5tcJrD+YdbMOW/waD+mc
LdEYBjFN/aQp6TXIOY5vsyJ5xiyMW1d4sRlm1jcnmxvHxQZZuuYGN6UCQn3cOjji
0ZuqECR+o5XmgfIayruzi/tuiM5eh9vgZnI1N6IdrLM6KUZjmgshYk1z5RFYVDfk
MKyJPyf6Nlh2LjknrRyFgLjPDbIndbMPxVbPCiYDfsiIwt+osCRbc3pAnVwe6WyK
CvPC8BXFHzj4jbpg82NZ8s1piOIEX4ip2fTipjFT6powC14eVO5jItxXT2OxD2i1
YmHGXoCfdTNrXKKBjJzfyQ==
=Qg+c
-----END PGP SIGNATURE-----