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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.5.0-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.7.0
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, elpi, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 39767838b809bd36739d7e4edf5a03d58881da67 745968 coq-elpi_2.5.0.orig.tar.gz
 d75d9470b4b81814d17e56502492eb99032e3db3 3308 coq-elpi_2.5.0-1.debian.tar.xz
Checksums-Sha256:
 ab536326caef5b9e1c2a9ec6c8b413caa04e8ab428c8351801d2134117019fce 745968 coq-elpi_2.5.0.orig.tar.gz
 3607cdf9f8a26ea92038b0909e5f27bdf67eedd39ce07181833770124d95303e 3308 coq-elpi_2.5.0-1.debian.tar.xz
Files:
 43f614e71f48f10222a5f8b4023a3e23 745968 coq-elpi_2.5.0.orig.tar.gz
 1a8f076b7682f3f6c3665a754f54f62d 3308 coq-elpi_2.5.0-1.debian.tar.xz


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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmfZZMUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTsVEACRCxudfRqUIghuwzj7vIgc
yAUuGx85+Y1x7V6MXoPqLfDMo1Dr/oOU8vBZgn7te+fwJnZ0GyGzYofAjyDDQPh1
o0bgy/eIzRdD/X6rXb1QMWvpzYY9a32wbnOaoQt+Z2DrD7gHSVyhJRmEBX0t0l7m
8HN/SjxLBny7CkWmE97SfP7MdseAD8Bv6ipjIkEeFgkqN8RN2pxFs9pSq/dZ86Y8
vZxQ0LNq9FCnkKLIOJK8tG92IjS3ffaDxPNU8F405Y/sqpcLxl2Qw/Rs1dH/T3ae
2JxykJHgPwEsueYNNake1j4aDAEDxEpUT/uuQOT6MzvOCO8RehJ5nuTQzIldntLp
w378tf9xg8NtnECoY3OGI00891d2fLBRdJwMcFaWPb+ETwMHjvbpAsmF1/3jfVTD
66KObY3cZBMEJKERdyMC/F9nBFBWB1CMtQA972q3EW1zVZNNkzSqR2neqw7sqGD4
Rjh1e/NqJSmH2tsZQYyIjz7EoBsNIH+Ja+UI3XSvmVXWX8vvA3vKY+Cbhskb8S/m
F2C7paD6N9AFahA3DfqtCASHbnj4LYlBJDzRkMbIiQ74Sn2QIWKchjZ8DVM1B5ev
QlghnhBKlMVywC1tIyZ7wFDG7AUAqgKjDYF6HQPTs6mBImFlzyaNlnesi++oxvoE
Oap/Flf0CcYvt9sVZfAqWg==
=TcBa
-----END PGP SIGNATURE-----