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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.0.0-3
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.6.1
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, 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:
 4bb97d644c46f26cbbc4f55e89a285e621be7109 701165 coq-iris_4.0.0.orig.tar.gz
 762ed99407d4fd856dde87cc309ff96553c44bba 11980 coq-iris_4.0.0-3.debian.tar.xz
Checksums-Sha256:
 52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
 e4187a51dad69875db3df02d196639a87d9c864d7b68d0dc94fa0cb19e09c1a9 11980 coq-iris_4.0.0-3.debian.tar.xz
Files:
 78799f4fd2699f2bbd1197fa771292cd 701165 coq-iris_4.0.0.orig.tar.gz
 880d0e1066bd11f2d5963692de85f6aa 11980 coq-iris_4.0.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGuESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnbQP/iBf1O1ntzdZFlzs9IkdH2MQ5dgFF91P
SVYj+IPrpH/XMoL3PmflSQeCJz6RC0MdxBQgPDwoul0b3Js65zx9rnRtbKvhytQs
/S916lgibHZPWOLcwjmCkzNgWQ9lGc4oB5eNwnOaJlQkjUb0RjRa8xWXElXQFDk7
SahI9bYWxyOGiIZ6hY1ZhFOAmKPfdF73TijOPAtqNS8j13YaBLxt8txAi1BCVnsJ
iECBUyYx5dwRBvVDfxqyjaUtW5XsB8xgZbFdtMsjFsFtB2GpCErfkj1NC6ONQCx1
bIhEHvrWMH2bP5sWR3n9tnsRsDuRFQIP9JavsiwcDspj8klCs80JhBiyWJBfjZO0
GtG8CwcQdLAOOcQSjVIG5QlufrDFpdka5mraFWxhUuhjp9kSMA0PLMHnHOtHv7VI
oiePEcFzKWmOBoU8qKwHCxQ1QGvutVROxwq3/ePL+8Ns1Xm6w5YB3pkwGUlH+wQ7
qc/qlsxpDHiuCk0u6kDAUpPPlrF3hxaML0w2Mgux/FhsbfWQEKTeJaJwX4N3WcQr
RHa6CTqUQwI/yL7X1yyvtqJ3un6W2nohHysHAd5D58vwu9uPeDfjsCfALNh40ZOQ
4e2cLb1PiF5az0Yw+feeL8ZE7kwvVfiwc2919RG4+dQGKld2StOuk3kE0bdAOIoR
xSta13x5D7An
=4Umi
-----END PGP SIGNATURE-----