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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.0-1ubuntu2
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
 019f4d7657a260ecb138856074ebf415ba526cc9 13084 coq-iris_4.3.0-1ubuntu2.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 6f3dd679affaff87db40106a221b3235a20069a7b8088481b48143728f3a898b 13084 coq-iris_4.3.0-1ubuntu2.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 7d9d2dec440254a59e45cde85099c478 13084 coq-iris_4.3.0-1ubuntu2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s9oACgkQ808JdE6f
Xdkh6hAAngq6V2vfCwzSJRXQn/RwUYso8QB/Seg+A+5+5+q+6xvGqDpuniuHo21v
uXQPne/jrMfC8dcaPLvYpcipW9vj3LyVekJ6GgXVlTHArxYkqlp0acJYOFjK7xQW
HeW/8kPyTbTE0mRm4FM49Wy5mDBH4gUoX/xzpfBiUvcgeLeL0bODblpDiLgofxl8
j8nCgd0R0nvtOFyu8cZhmcjv7Lwsx4WCXNi4Kl3tRFEd37cTU3aIn/xpGzCCBYtA
tjqCwkfjNAE2l6rKB66Y8D2XA4RPvghsmGj8CiZRrJXDt3nC51Ey6bvF2nPcgQQi
uyPYM55FxNby+Qojl+f4vFH3vRT+OePw8j4IYNxKmuPTZTPxsi5a53Rk8Ok8mjdu
bF9qXf6ifOYElGxs4nIwmnbuo2Gc6pp5QqgQMuwssvSkvEQJjLda4C0mx1TEg+B2
t4zWG8/vZlX4m/tgYdQeII2+otQeUkEtoip2YvDPl+gjOnUgBbOo5/iSPTL66hld
yecwldeF28ZzXuiQX0WlGygD61awV3BiygSwt8ejJQ0602aXQ0JU2ZyTjMF69r7O
UYZhxf/DvsMd3/Tp0dHyAZxAdUmXZVMNFnBM7Nsd1tKSUllsKQYli+8wjhdYHEQX
toOpkBok13/RXsCT3h7qNkw+ybCOnP+Mwk0wEYkBNONQiqyHtYk=
=RKXb
-----END PGP SIGNATURE-----