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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.3.0-1build6
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
 540aaa4254f02fe222f54139580f77c2163f2d6f 12876 coq-iris_4.3.0-1build6.debian.tar.xz
Checksums-Sha256:
 c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2
 40556f389bca52ff606a399976d989ba50791d69dced05f15c415dd13464e762 12876 coq-iris_4.3.0-1build6.debian.tar.xz
Files:
 cb36996e49a73066d7ba61f7ed270cbc 622627 coq-iris_4.3.0.orig.tar.bz2
 0c51fd1ca4728a2db382579b5cd61753 12876 coq-iris_4.3.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9o8ACgkQ808JdE6f
XdnkYQ//TRc3H5OyPgjdozX+UasZuZ84rtTHpLoKsGqlEUR6qlbOIIrOAIlTH+w1
jV51vIV4IHTr4ivP2w+F7BzFnS1P7BQuhRMOYWtWB+ISOl0m8yZYDDMl3Yuee4V8
7WpoGQybWKeZr3/y/n5udqHBGXfbHHPAgyuBAlxfH1af4B3CUo5EuayJZXHrXPDx
heM/Kf2SXFYLcYyQqf+qEnGt2p5JzcW0dHL//STehJ0xqPaXGsWekRDAFbrYPh4v
NscvGw90AZrGxz/JAM0rL3/Lh/cQqbdQsKtej2uX6rzGJsC/D1h49HB3kjNzkezD
PtD71eMlo1CiHCuz3yRpBvf2/kyVFsW8VAYwSKipLQXQJ0XcNgl9HfSVd4N4g39D
tPeyCXgO3ML6TxA+QJQDSdP+o+Y4baO0NA9Yejnny4trMIwg34uXjpJgeF5Ur/LC
QXG7NMuI+yjoHLj1V/bcgF0+vEyrNxt9mxYu5esATrhBPl5AdXzFz3s2gVDYcL2y
GoEz5V2255OV/p8fygmP7HIc5Q2fU5fESVc8Y0FY7xgLQu2LX7ux3mh5HzOxdfCK
x1p8X5706p8PwT09/sspxP2Fi+2FgHcBbsRfoDWoVJZPPWKa6QfIQ7iuXJP29rwt
F0xykFnyNwZoIpcwsFvkWxqPJVjmYvRJqCidO0g9GEGFhM4mizE=
=BZJH
-----END PGP SIGNATURE-----