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

Format: 3.0 (quilt)
Source: coq-iris
Binary: libcoq-iris
Architecture: any
Version: 4.2.0-3build3
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:
 8208828253909b6cec3d4fd443c30d8b5884028b 764668 coq-iris_4.2.0.orig.tar.gz
 47a3942523f89f20d773a6f2c0cc6f8da926d559 12772 coq-iris_4.2.0-3build3.debian.tar.xz
Checksums-Sha256:
 4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522 764668 coq-iris_4.2.0.orig.tar.gz
 13bf8f622cde2899e5cc34435061d1e78e0c4296fcab18bde8a00c7047224cdc 12772 coq-iris_4.2.0-3build3.debian.tar.xz
Files:
 bf33a4d0906f06037b20998f059d5cea 764668 coq-iris_4.2.0.orig.tar.gz
 793426e81f63ede0c95d7ff66dbbfca1 12772 coq-iris_4.2.0-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbci1MACgkQLIPbyOm9
DjcZbQ/9FlUWmXT1XHeeB54X+JcVCh4vASIhRCLaCjjOiKpvplqnanAACukRYkW7
NYqIUqT+YzrQH5UpFjlaQ/mGNTI/roxTJyfLt5/1dMOl+HxZZo3C6i+w2YZVKaxv
h0dYxqtGyeWTf/XRWmjm8Kh5zI1hPUxmkkv1E4on99MzLAiDjjEr6KaV7xXsOWdf
pPwD3eooqal20v81lZPbUeE4D3mLFpl3jhQKrRWmBhovUQVGgxVhXHbCK396Uoci
plgo2i5de0Trxc51gaArDlSBzVfQF+um/fP3v/pRAsv7iZXpRPqtF29uzpshf1h1
vQ8ibLENvCc0D2S7MZYQe/k5l/R2lB+Z9779sKZOZyrk6Ve4lJ2fkYIfNBq+abZD
fZVGFSg0itHL89teYsYjokMoiwKeJXArjhlSjgs5puIw56b674TaRzfYft+k2aA5
H8flkccZ6dlYQgiua1+0Rlt1KxWHqVB2oJhlCR1HQXCV3igi9uMeV/kbQod0J/Ei
56LKv8kzyoqJOuJIxybxixFIm6ZsNu9/EF0k1hSDzBe4PRKxCwr/VdOMTlKmdFEM
HmzFIJGRKCHkDG9VsZK20lu0CLBu+LD719XnBv4EPSLw9vWhz+A5whIMoc6vMs6B
gVjeTB3JbJsW5cm3QyjGIsthzjXfrlKyH0SL/PGQQXaEpQaUNkw=
=0V2P
-----END PGP SIGNATURE-----