-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 3.6.0-1build1
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.1
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-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:
 3c1db57e7332c5695a5e21487433ca9eeaa5d1bf 665224 coq-iris_3.6.0.orig.tar.gz
 6e600adce893513060343e1bef3919618d7a2b0e 11948 coq-iris_3.6.0-1build1.debian.tar.xz
Checksums-Sha256:
 29f43a378f4e4c9a19e1fa0013c9e9f2ad026999c8ba625fb085b0266828a64c 665224 coq-iris_3.6.0.orig.tar.gz
 0f041a003188b12a5b19b3a51fcfecb0cb81acae47d2c3687e12b68ce5c27480 11948 coq-iris_3.6.0-1build1.debian.tar.xz
Files:
 4ce793ee59065df58cef5f6deabc709a 665224 coq-iris_3.6.0.orig.tar.gz
 bfa732290e73f9a914c2dbbe31bb07e2 11948 coq-iris_3.6.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmLZ0lsACgkQ808JdE6f
Xdkjgw/+OoLUe852k/FNCWsQeNaOCVWRnq8XKlHBhspwPY2+i/6L326LaQQ9jgMt
j0LxdzKl0PkmF9WWzg2Hwuv9gqfJrWba5h3Fy2AckWgCcSi/k9uQKvvDvFFuFw+N
VzkMeeQzUP0/TOB0vT7/RUxn5HzVORUIDj9+4i68aDtro4dtWyIN0Us3tsL/iLMB
PbIv50xgRyZnYuGME3gN6OIRRxf0X7GuosjS00f17ZsAjIy+sFzCbl/3sh7VkRoo
4Ig1heIfvCabUdEiz2bELJC4fAUU8Tum9qMucaR0Jiz1jSLe/PUDlt/5Qi5HQTzM
7oejrPDakrR5hBx6BXQdR+/i9uuRnrj7rOdewbCk2Zs5MrbO6K9TfM7KTY42ArS0
XXmqYaDmL8IqqHYBNQ/qvBZAeMGxB5klLDIz/V3zCnOE7O2FF/T6AQT/EoPJgDcQ
a7uLbaT0JdfmHEyBxZyCpmv6ZigPQXC63gi7fZvc2R1Qk5rUyxzF4spbNWPz7cdc
XSmxVewUA9yNqvU92dDnaH/YSIs+tJdGINja2sXvK4kw8lQWtYaueK9/aV5Q46nq
ZaLkkAD3WUuaaVgDa2hVOQUVMF5bz4fod6cWG3/Eymmpt+AfJeZeeBBitCBAkJ7T
KbTZA1q6M0dNLSrC8BsKx9YN57kUWJvd4wyLjn6gSwAumrFndkQ=
=NwEB
-----END PGP SIGNATURE-----