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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.0.0-4
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.6.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, 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:
 4bb97d644c46f26cbbc4f55e89a285e621be7109 701165 coq-iris_4.0.0.orig.tar.gz
 eb934d26fe056eb732012cd34a568b96feb18284 12004 coq-iris_4.0.0-4.debian.tar.xz
Checksums-Sha256:
 52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
 567980964464781f364bdc76e53751b95618f2b6f513e69b5b843a9d29429e41 12004 coq-iris_4.0.0-4.debian.tar.xz
Files:
 78799f4fd2699f2bbd1197fa771292cd 701165 coq-iris_4.0.0.orig.tar.gz
 53838352c2e5c49c877ff19e54fc7983 12004 coq-iris_4.0.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+aMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRF+YQAIGOKb3V37FfJ+AYsDW3cHtbEsNlJcXg
zdLmDsYyf/w/4rdfGIoWM9xcpgKueeZodZyRzFTdmQYJs0OiLNCBpeMWmo96i1nY
pCR8KU49BNx20Xbn87xERKxfl9xL5IoW3g8QnNn0842+8wbeNAP4hcoWx6KGHmU3
OCJr+IM2eyAQNNq23+BAQe02Gb0C26SX4LyF1kxwWVYgxn2cSzOVhHw7zykTYNq1
hosZERvChfnKNANq0FCfI92ufHhG6Kr0jpOmL9QPb+QGb+XVB6HZ3+/Rsm2irwvq
tU9KzRq4LZHTObE4YyV0v1osGkXJrms/GORGyFvODQocIn6ENtRwuXJs8ndrhdZT
KzvKM7fkliKW6Adx4Nt/1BjRY1Okx7+UBN5uM6cHugzWM7rzzV13O2QYpTL2grPn
ukenL1/1NmGusvPROv3qnHTQVFYeY71qT0T4egFqYv6KIcMa/zudxsj/9vTOGbNK
pCEatMRSzbAEalMrtmbVBqB3sgnXAtGi/FHMO5NujRlhAyS2o8bCMFSp0//QT3X9
PWT8KvFo4Q3RnUUJvqoO3Tq9iVgTCgGTt074P6D0U3XTT+HyDikfs8Ba6wxrNH03
PREUIw5Oa/pA2KSyYyERxwFf+r0jqdH1/DKQ4Lj1aQnI+HKNYUSsggi+yU85ZmVL
LygDhIJaDrqJ
=QCQk
-----END PGP SIGNATURE-----