-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.14.0-2build1
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.1
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 (>= 8.15), libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 42a67b1d280d76f894dcc0073095c4239fa75d3d 360407 coq-elpi_1.14.0.orig.tar.gz
 cde0102bc4419037dad521c1983c234cb4602989 3240 coq-elpi_1.14.0-2build1.debian.tar.xz
Checksums-Sha256:
 ec85b559f7ba663cd02448dc736b2802bac820ee9a2a1e8a8ddcfef88e1bb700 360407 coq-elpi_1.14.0.orig.tar.gz
 c0ef8158fba77c32d59e22ee863879440e64f1a87c2f01b391c3147f48275be9 3240 coq-elpi_1.14.0-2build1.debian.tar.xz
Files:
 755323c2d96e12728833234b92c33ebb 360407 coq-elpi_1.14.0.orig.tar.gz
 2487a96526de081aabbad8f89f2ebb7f 3240 coq-elpi_1.14.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKXhxAACgkQ808JdE6f
XdmFOg/+PCAggb8t9xSn4eZ7kQ8XyU1KyTOJXqnZ2xe6IhA/5TCKtSuo1L2DW/bv
MAQJeWQlhLD+8EghFwbqK6fxuZxeSCQ3eZJwb8YtlnxbEItpl3s08muTO0zIXRAy
HQQmym+EkpkJ3VSI1nGKr6LKklhF3IbiLgH14wi/iSfIwV+IS9tdEX/CtpSxhmqK
hdWHFVHCQw3E53ofmpzvwppo2EbYtw+2fDbc+g+GnvheDZYo36gKaYhW7HAHha6l
kZXhkAPUaIJS6NwpbgkfDy40qSCdQVr7XV+p1UnOMiAVwTfJL4c4hjnuQrSjzAdL
eGAMJBLVw9JTu6QUJOzDhNUs41uF9uz0m07YXpIaYc2xTazAwLrsPj9+UK3Kg41H
YH0nz4SBEOXKj6AOgHNxRdPfKi4s5hNGy9eiaYxA9E+EpZ4NpdAX4ecEbT3eg1+e
18PjcsM6VE7R75CraBS58B6F/+uglAIu2zbRWiXlvFYa3iuTyqT83xo9XI9OqDOO
G0L2/UMWe8wvS/aNIYpv1cu2ELLxiRDNlmfI2p9oxI0Zn2BGy8gHghr8thdFFoGQ
2+5ArAUt3XRC/bh9/20OffL7USneMqszTcBTXa9uiO5QPPeV+zZGE+IDbjfEygLm
eaqqglfTi+bjEkFfL7tALyzKXTqVPNWMOLiPb4nJRbOLp4CWxDo=
=JuEq
-----END PGP SIGNATURE-----