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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.11.2-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/coq-elpi
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, coq, libcoq-ocaml-dev, libelpi-ocaml-dev
Package-List:
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 759e8f735f2fa87c02b73d12de5afd2f33546bcd 351528 coq-elpi_1.11.2.orig.tar.gz
 7521cbe647492d0dd56ab9b0475de6ba03bc472a 3988 coq-elpi_1.11.2-2.debian.tar.xz
Checksums-Sha256:
 9a2d86ef36a6a54f0d8ea5e3a2902793a8a9d48deaf049052ea17faea750ff34 351528 coq-elpi_1.11.2.orig.tar.gz
 3338dc0fde8b3d8a0e2aa7bfb8e37798d5a13d44ac8dc39d6d1250fe1435a33f 3988 coq-elpi_1.11.2-2.debian.tar.xz
Files:
 5107b517753f0b003c90a83ef22a7c39 351528 coq-elpi_1.11.2.orig.tar.gz
 c1febf1d9b079479700abf2edb4afcf0 3988 coq-elpi_1.11.2-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlHxUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRAHoP/2wZeRrA6WSmIJzjUxoa1ut0ADqp+mRS
Ay3fGGg22XzewY92b3LLlXtouC7x0iuSvFQ0627xCwoY2qolP3SkyM/XFcHxhzy1
3tiQcM8DrEEwXB18rwKgR+SX0UW+Qr1+b/Hdam/C2edLqG0d5BQXYCkShBXFFiuU
xFfYJTE8qnQ57Q3w68BYPABMkgTFD6wS0rPGe1dzGQ68D/09mFyafVFJ+h66wV4+
oVzrp+qCwaPVj++qZH74vv7zfOEBU1ynG7vuPBFzjhQ36C5z/uoAtKtv2iNb3dgx
zf6+uPrxCf/wxuzeXrJHXSfodMRlEph8HuMUJtVy3bi5mJL/Y68vJf0Os2exW6aM
j19v9vMzWSd2Nbaq2K/7GCMh2+m05QXZNjoYoplog7B/f0oDawOvhI/ItGel+lA0
V4xy5PoiOTWD6gOhC90rdwt3nLLZXrxl5r0+CMaRalEV3HA2x1JR9OyPMurS1t9N
KqGz8l7kY65oh0fpxQg/NubBpRIqBpfwQd7mtStmb+99KqFlSAu9/V7G7KoIAOtm
otyILX7+fppSuL7XuvthBspskZ553oOfj0/yzXFiAGyCE8wk1EeNcOKjov2CWWQU
FNhsnz8mINMP6Baglve2UAvxGxkUWlQBzDw06Gqr7zdKeoUVmr6GIRY2Wis2XPeE
9N4qJdvsituR
=UQQj
-----END PGP SIGNATURE-----