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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.16.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: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev (>= 8.15), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 f340c26af224a9c6844731bddc4b037a1ffe4020 426223 coq-elpi_1.16.0.orig.tar.gz
 cef499c94ddb01b424a1c4633be2de4eb5d52c94 3472 coq-elpi_1.16.0-2build1.debian.tar.xz
Checksums-Sha256:
 db21d73dd749290fa6ab858dc40e75ce7bde7b80724338580b20902bf05feaa7 426223 coq-elpi_1.16.0.orig.tar.gz
 337859edbcd76394162354835be1658bcc6f74248aef6ef283e6099bc52721eb 3472 coq-elpi_1.16.0-2build1.debian.tar.xz
Files:
 688a6cb1b67db26b007a0cf54ba0e985 426223 coq-elpi_1.16.0.orig.tar.gz
 8908f464011927cc4950a00c09aef000 3472 coq-elpi_1.16.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPutEsACgkQ808JdE6f
XdkKoRAAndkgrkzQTwkZKd/X8n8XWFtMVuZNmGGVhemIq+e4D3fBIcP4ptgkczOx
jQdsN9hDqbtEfN/8iFJlbT7hBAW8dNMLpih6mcihyeynOKKJh+jKLhT55dW7XVD/
XoUBZRoxhb3Tx+ddgRMqdO/8Fyg574umF71jkA8+2BArqeTmSFyGCSjjTbmfwpck
8cBLSzDvmRusZQzc8a/C8YHNDdFLK/5WcMbGGjsYFIJ5k0LDY/c/VL+cU2mEwF51
xitcpi0sJeUNMyCPS4gnB5bjP2TcbvDKI4e3hV8zN1ymmxCPP/j2cAFP8iJdbQUy
2azDlp/8m9ZGZ0i6DCq7P47M/3Ghf7QxDa+IjgnL6G20c2lVgahhkVELxif9RNoQ
oDa82t2pH85ugePSdDvqEnEXOioAKhvqSdp5ZasZDlk+KkfOK3W/dZ7X8oIpiTXx
5CPMw09a0sl0F6PwlMz9zcNgy9SKca/WzLqYBxMFvHNDId1X/2H7h1AtELOefnua
GicOHxUOmwMhGClgq/6M3oITXy2aCKrlGu2GT1N6PC9cV0N3L+6qJkHp02qlofzG
qjIcfOV18UQQQjIJMLz5GCmhXN8tBqN6fl1DDmiEx9dJ3j91fBj5mSDC/GAANSQt
Xf/yWu/cQ/OgX1IjpPA7geZloce/Dr4pBQZvuf29z35ZqIdFlcM=
=KEnF
-----END PGP SIGNATURE-----