-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.1.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gitlab.mpi-sws.org/iris/iris
Standards-Version: 4.6.2
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:
 3c6c0b3f999587161cf6494e47743065e3d4af70 749982 coq-iris_4.1.0.orig.tar.gz
 e396242f7680b37fb1d7ad663b860ba3004e800d 12280 coq-iris_4.1.0-1build3.debian.tar.xz
Checksums-Sha256:
 af962d128163335ce0af13a92c0b2bb7423e8e8c6356714c16422f96aee9f694 749982 coq-iris_4.1.0.orig.tar.gz
 351423172029d2df62ced1d1a65620f9045ee12d4c3f088f06c75ab8bbbc170b 12280 coq-iris_4.1.0-1build3.debian.tar.xz
Files:
 e1fd1bbfb6bb8fc144342e5c7d4222ee 749982 coq-iris_4.1.0.orig.tar.gz
 7dbc476c87d200397d7d400fe6910aa2 12280 coq-iris_4.1.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmhsACgkQ808JdE6f
Xdn9hg/8Cj3ES8dpa7OWyOPBZO2pwl3njagdw8U2aBUSkAzuGjahCFHuu2oQid2F
LTK2W0I3fkJwE3RKI7SCdgbHj+vBpIMCTMePhKJm6Ueh6cqGi6uQkjgBcMOgYtJA
0Y+Lgs3zfN1g3yMs5ErZGP8qArHtEv2ecKqBCkVMr0ke4o79isszxWU5CSODzDR2
xhC5WRgM8muDpoeof44tfVQn5iyq3YapryTuso0whqqR0e+47EyeFwjyRePqY3wR
wf6HSphwOfht6fvXgLBD4avvC4VXYMNhDK3HVf4nRx/E2x8Qrza+EC0jlOuhLPtr
2XU82iM8L0S07JUCmPGvCjWUEAV7/0pwpKqDNwaqQRZwk6awHPSzffyAfLUoOnB8
pJXIew8ppbbPWBWnHzCG1++nyKdOSkGC/3ACk3Ub3wJ15gkPtQOwO4lNymVAKeVG
0xOfvPDHp0IKS/mDxuGdrkBdvYZR/Ld4HJHHsBg4MLFU74AYoiK3YrV7/zGhFVLC
WLkfURLHCEjRAJBVjiP8VXTV96jYWb7RBw1Ighd+ANGR70QiFVWQocH+MQ7I2Fr8
wtjK4Sqtc+pZJbcVljh1iJ+tTLe3PLIlc/x6NLspQO6kRbzYTCTXNp7XM61hNslt
UAOjLjrw2uWDwPW3V3aT4AuwEeobkTFiaCijYPoO+844PYRDm4c=
=aTNv
-----END PGP SIGNATURE-----