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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 3.6.0-1
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
 d894cdb778956893922ff5d3919987822a85b867 11856 coq-iris_3.6.0-1.debian.tar.xz
Checksums-Sha256:
 29f43a378f4e4c9a19e1fa0013c9e9f2ad026999c8ba625fb085b0266828a64c 665224 coq-iris_3.6.0.orig.tar.gz
 f5426af42e7a128a7031b8b8b11c900371bed6a766b6c80957e5cfe3e5400d6e 11856 coq-iris_3.6.0-1.debian.tar.xz
Files:
 4ce793ee59065df58cef5f6deabc709a 665224 coq-iris_3.6.0.orig.tar.gz
 eaf44109739149a07f209f1f51c83a77 11856 coq-iris_3.6.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLQSPwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR34UP/0Skn5ZwVntNTQQBbfEWO2JIH5bflmGG
7BytOh4eI4+iEmHtP4y2DP3lJksVgM8Qe6nl/YnvfiHXsrDRXy4HjmQNabNdZiHQ
XO4m742XLc/yGD9SGZSa6KTYVrsq8hrZmS3CWiy9hWlLPmKswrrp+6RntklxEZct
zo5LlT//HL58LWp3GrzfhcSxNUNmts9mtGfC6J27KNuzpAS3sX9YbEE75Ay4dRDI
gSNOa8jgqn/w4YTmUD06I0DAHK8ftfB1FewqETyRuO9u/t7wMHRQk4PaOmCOLU10
uN0IaB3jpAB3dFBcF9uFd5oqkpASEXdNxfQhsF0SM+OXDUn+zknT+8OKAKWW4ruo
swKT57Rphxl0T7NvNmNeeUzzKaONvMrGN1q/rOa7ExZvbT/yc6IM9HA2DxMzJxFw
by0UYAeMqbrWxL+HZ5cTUYwDNzJNtq9MTmU8P9SWzOtOobmaZiVdD3hgahEGuBw+
rWG8airqWADvr7sf4ivLHt3go68eLfPI12BPoLU8T6GK+CRSOsGutRQrhwnHvA5P
6yBtFh2Yl8S7Byjs73C5dlNvXa6RwYfXE+5WqM0gSZzLXQdCuuT+Y5KMoyi7V93I
ZMfPLeDWBXjHuIP+0nc72uqEHcAWXSnunAXkkJtW2WzUqRszrbl+w5Gwk1nGr3WQ
918/HNKTYYMK
=Axe7
-----END PGP SIGNATURE-----