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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.15.6-1
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, dh-coq, coq, libcoq-ocaml-dev (>= 8.15), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 6b3879f52a9602baf96d73f85756839faab32f35 404950 coq-elpi_1.15.6.orig.tar.gz
 4e94d366aeb6435779dea48ec66f3e3430974890 3232 coq-elpi_1.15.6-1.debian.tar.xz
Checksums-Sha256:
 73539a72340aecc2309f30fc1069cf1ee1619d661847494d95a815ca6e8e578c 404950 coq-elpi_1.15.6.orig.tar.gz
 43d9e2aef3bba5df2a66baf0d095f4ef6dfd1d663012707fbea39066294e88a3 3232 coq-elpi_1.15.6-1.debian.tar.xz
Files:
 a51added770e2b7a11767bf996c78d00 404950 coq-elpi_1.15.6.orig.tar.gz
 98af2962e7342787717e6cdd1697d5e2 3232 coq-elpi_1.15.6-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMa0TgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR7MgP/RIAP3s9fStOVxMkDBMPkSvN1ATh1Kth
Rfh5gtSQpnJsW2kAo2vrqHATCwIkAMBQmXgaUsRB8Y/k0FtmMnODMdUm65/HnbSE
R7kW8NLLzwFgNoPEm365qqegGgkVRtsR4GIGbashKg7ZFvb9Ds3e9vG6JzdGnns8
YofNbfYXMcLXBWERvvfsFTFqKYdhEngcM2l1T2i2zF1/9LS/Itgo9GZHngK/xPQj
iIDqZQt49vCRFFOlnLoNkn2bvpgfYp+6wp0VK5WM4VO6LjCxYJflbiMnQcet7Not
yEdIXzoS7wqZOTuLAsIYUbvzo1C/6fw3nayD8K4tUGtI/dX7QJ52Tf5B7QSqszPS
0zAUjXT0qxwi2Mw8Dk5P/nJv8gui/whyTuDmkrXYz7XSI3+qZuws2FQuMWIOZeqT
ZLhkqozcgcjvUmX8JLm/wYLHIcOkFU4C5MhRkXPm31yvgl0FcKMlXLJqxi8m1lg8
DpSe1Gwj4fglNY8D/F9mcXZqe9yJP5JG/VsFhUvZQg/Z/sCnP5iQUx2nhvVEuaDE
R5j63UwNHzfjA2iqKHhXMc1BprGjWONAr5dXhodXUh2lmbrsU3n3GW/MHeM2vmo6
sYHeRg0Zab0Agjq7+Cfm/kqJKUhmdZjEAYXOvJtAJxHuWflJiQ+dDG8j2F7nWfo0
zixE8PV2d07W
=Eoh2
-----END PGP SIGNATURE-----