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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.1.0-1build1
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
 91a455e62231009af32220b4fb97f79328f78bf7 12196 coq-iris_4.1.0-1build1.debian.tar.xz
Checksums-Sha256:
 af962d128163335ce0af13a92c0b2bb7423e8e8c6356714c16422f96aee9f694 749982 coq-iris_4.1.0.orig.tar.gz
 39c38a0f828f1c8624fb1742b3b7c63116e3470037b22c05f26dd03f1f49471d 12196 coq-iris_4.1.0-1build1.debian.tar.xz
Files:
 e1fd1bbfb6bb8fc144342e5c7d4222ee 749982 coq-iris_4.1.0.orig.tar.gz
 472af80e06f3a028760c056785bfbb7a 12196 coq-iris_4.1.0-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYBwjIaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0Unw/+KEJp/I0I9mlCTZBW0W0Y
HlZzSHcokPPzVqcd/UYPVH7X909bVOqUSt8Zk/6AZwtKblDAHzXcEfQlH9r3Sqz5
GGNkRqel+iBFu15h+gdP1ueEYD2qW9jajUC9BquCYWZd0j30njRLlY7go9abq7dg
9EsrjuwytVOB2mlvH7p4yWSVIEUYQ24g45vBrBMWWNZZtxKi8dsYQmtSEPmdKRRc
D3WtXtRnVPeocS2GUOV3AhPs+nIKTp4V4bgqB85puTMwPmFQ+ZBmyJa9SHf9M3pn
+kJHC+0qzIeouoUN+aaXDHM9LVrCJnE+zyFepm7LZDbhEzOz93MCeniPOyENrzC3
YK44BZSH5RHiQ38Ga5W4EoF3VhXH7wyGIqCpwZ/RR//iE4kkwgWBZqXXwleSkXAf
HwwdenJJvY7pggFnuKWhHdu9vB553lJdelT20pKZNaIDRgWNrIpHJvbrQOpeWPwS
hbFb0Rag9aE2gOyaDuM/Oq7gPdSwa0ck3rpZ4+XzBBVznTcVerqOA3dlQXLGUf0A
xY3UoitYhE1GiaX0e5NRW2529emNmz0LSpidhrVpHUTtp7fKHW7coEPr5HbyCEfB
NB1X5OLuCqs/jLgKjNabH9Zs8v5mqh6DgYtY+obXMGG9gJBcIgBbYHvHvMwZkWtp
hFXDowoOHhDD0gwg7lzlHPI=
=2Y/9
-----END PGP SIGNATURE-----