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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.5.0-2
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.4
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 (>= 9), 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:
 61cdfc464ebf2c21c253f6cbd41f1ffc9c6f3c7b 816280 coq-iris_4.5.0.orig.tar.gz
 befcb8e44c36af50b4290604131913a852352de4 12976 coq-iris_4.5.0-2.debian.tar.xz
Checksums-Sha256:
 674ca022294f2dac1776669149dc7eee7d030413e2fe0f5b7ef50f0b21a8add5 816280 coq-iris_4.5.0.orig.tar.gz
 d0a6baa109f0f94367584f14c9ff94ae10a6fa8fb2e747c937e14528beb3667b 12976 coq-iris_4.5.0-2.debian.tar.xz
Files:
 9322625971703443de817c646f216267 816280 coq-iris_4.5.0.orig.tar.gz
 ca9090305168471bb147ca7da8ead0b7 12976 coq-iris_4.5.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo12sZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQZYD/4qjclo6Csre/HKiFDioA78
DakvjA9oemEaw54bwmdV+s4YpG408N3079FQ3KfP2lT3NsYYwpnuwNb79A+lq+ZU
fpDlKPC6gdrBbB/ilj8GmQ9N2ytTUBVXqK1yvATZofKQksdBzmrlbUBMI8tj4ncm
QzOLSCHYRh6Jkanj1+n9UzcCDjiA2zNoGi/lhWwKu4wc4QURBsO1VQiIkG3H1tYd
NmcwY0uaqDoQVXBumPjW7V0Zbn7BafQDP3EBuSC9myzWHHXwFxZ3NayhSB3a2TTm
kNDY1zZIXdmnaCBjIijDQhBM76cSVv3FfUxBOMhydIrV0GMTXAVD+ylqxzuRSkh3
9KsW0FSUBEmS2o32BCjIDRUwgvdE7SAJ67CEdUQVHdiKFaUSfNHWXEsbA+66ZsHW
fakuxZR2ads1gRq6O6moGyqE7yOnVKIL/hwsg4JXbH05p6vPAPJmgR2Bqq/9pX8p
YINW51dxuL9oJrglmKR4cjCnzatsMjUaZGx9hEWCvYTb0DQLqzIMIeQ2zHBRUHQS
RFuu3UJEs8hvCyRJvpQAU3LzEsE8tbBiY10bIGdFJ/96ej4Qo5I/jxFIXWqjgXwk
XbIiqOUGzuDfqdFksSdaOlUgny5vLmi3YZPyX+gQzN7/3SV8H4tBEjhbXuR9pyV7
0mjbUGIfYjL7dGvdKhiWhg==
=dry7
-----END PGP SIGNATURE-----