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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.0-1ubuntu4
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
 583b49fb609597900d9277dd81dc4816020f9644 13160 coq-iris_4.3.0-1ubuntu4.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 4e80fd75b0d722fe8d0280b7405b79bbf2e5bbb0ed428bc5f94902d405c011fc 13160 coq-iris_4.3.0-1ubuntu4.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 99664977a87fc96c5c447e0aa62a77ac 13160 coq-iris_4.3.0-1ubuntu4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOxwYACgkQ808JdE6f
XdnTJQ/8DX2EHKPCpKELkjy/nWwhH+oE8NB+j12DACQ7VyaDhElhenpb4ZdQpeJJ
K+dxn0IcTXcGBZLruPYYoWWX8xMoUyYs7X3Irud60GxUpUmnWfKnpJXWFRViOflj
DT/xDmMIdlus9df9n2DLVVAPugLOH+Acuwu/7qVjBi/Yhltw0ZbavKyoZ90hU4qD
SB4rnfVH9LKNNLaMTkI7gCVk+IEaJ4oOrNm2aLE72bgAIR3cCLj82AdMKpjhN3WS
9if5bhOtTrt1bZVBxAtbCm49zd+IU298MDlm78EuBQMWnJ9ErkyqCAp8cfHKtzyR
CQYmWK4Dr5xceLm3r0hklFyB35NINC6emvcFcTc480gZb1HdRr3Jg7SdKiXL2NHh
5dPqozxpcMlermzb+Fp+vPNH51mItYvA7a1dwO2w7WJrtdRvmnBl4D0EQPiyVvo9
sb6IMqwd7oNVhoG9dUL0/CSKjHPpiV3PyzP7k7nkuFSqsgXLKSiiJZK+f7DBl4OX
aHC7GOYhDlcfZ6404nSzG7NE0YWbjlRDqGJMXNWsWXPjNyFFXbFh1jHHa5On1Ea7
0B0/5QGPhY62UHTc4EIwUTFOeGsU9ereJQVn2l1wlYZLr8Dimwwo9unquqGLyC1s
WoHZoTbXNn2j6PTX/NiidYE7gyZnqgVn9iNUkxzAOy8p1lY6Tc4=
=V33v
-----END PGP SIGNATURE-----