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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.0-1ubuntu1
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.0
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 (>= 8.18), 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:
 81a86e454cab90ae635a38f65c7d6c73043f2d7d 622627 coq-iris_4.3.0.orig.tar.bz2
 9326d611a2c01eecb97fd84684c0937a52b1462e 13068 coq-iris_4.3.0-1ubuntu1.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 dbbe54b6ef463a3bc85b6757d63c1f2697f9d3e2775a5922ab6d57a325d1f8f8 13068 coq-iris_4.3.0-1ubuntu1.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 8c07a5222ebaa48e828192b8d35745c0 13068 coq-iris_4.3.0-1ubuntu1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmli1ioACgkQ808JdE6f
Xdl21hAA0Q54fKy0EL1u7zGODVzXdgQUJTaOM15kVKG7oEJAAzJrPfefNT3vgHc8
Tq9o/TAeXehHfkYi2K7Oy9McW1cz3wXvmrdyAI/cu/aXcVqcjLK00gmddNWq5e/4
hAzKk+nrW85MszwgXhVOUyszhEVmqbK+7oZ2Wsdkg6Iu40keNjlFgnBDvw5g8ODr
ikBGuQcSRc56UqQ0trBRu3AxCK/XqjjJFK41vvkIPR+n2oJnI8zCZjTjjjsaMs4E
BEpxPBGNPVaBLa05/1lgtUNisEd0oDL7VbA3rt33OQZsBINaXsvTpgGFX1lpVWYN
RW4M3EIdzECIDn9HiLDWfMRNjczTdJUZl1BWGwDVD/tMvzn8HHTlDuIZHfGRNxp/
sgaA72cBpQ9uDDtAk16iIU0tYKCBKuRt7bDFlwNB6lxK1U3LJNy8eFzZSPJLnhbx
fvrVK9zgrhxi53v8KQ09mV+J5i7i6bhuTv4YNYic4jxPu/lZOQwAIfeJujcEB/um
B/nv/wXavZ5nbbnY/zFoUAqhhASWvCR6OXaUB0BqLvgF7wxdDzJNzrvuO0pdGrR6
tvCbgT4oWTTlpSRgEeIi00U/mX8z/R8HtSATA+RUnT/eaSth8zVHJ5DuUB37r6xu
u/s1ZD7XGqB8yrr4XYGBUfiJO0Rrz7p0MSvFXP5volIZSqpyUAg=
=9cpA
-----END PGP SIGNATURE-----