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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.3.0-1build3
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:
 d8155b8c3c4d7aed87ae0a08a4024f18a58b4e1b 734643 coq-elpi_2.3.0.orig.tar.gz
 f2ec09aacab223f94d3e697d009ae9693efb6167 3844 coq-elpi_2.3.0-1build3.debian.tar.xz
Checksums-Sha256:
 ce8f1d1bd95744328040013ee5843960604acc4961fb59f1fcf5f6b9dd03b5a2 734643 coq-elpi_2.3.0.orig.tar.gz
 5c9d34bfd5b711177f97b9eb1b23ba52f328c9bb40d1e6a99f3d37743687e60a 3844 coq-elpi_2.3.0-1build3.debian.tar.xz
Files:
 4c35df6383b33476a1d2c6dfd3da018a 734643 coq-elpi_2.3.0.orig.tar.gz
 ac87cacf3d44c7f85f9d7882bca43a11 3844 coq-elpi_2.3.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetB+AACgkQ808JdE6f
XdlKFA//WcFKxXshZ5PEwyxuqpaGFP8Hc/hdASkbZ+ULxi5XN7OTlR2yeVGyvGVn
gRNgx3qSZ4xsrZWYoqiyW0d3oWCWw+enNM5iRkoAKCgILMGtdZvpXTCfn+BoIvxW
UMKrmmW9MxqIbFaQAb/76gpNDf32Ypiz8wJYuQdWaGrnzhAtuLn+N4cclpObcH1o
57MrnXc+CCNpneye6BVtIcy1LhTnAjB0Wj7ex6/acIAG4Nn7YMfvNnxfjJK1VNqi
CVUHzPtfzEQAr5Dnxx8/GSNbDrKQ700jLHnwtiTVMV05FwtGQ0oEvD6/5uiXpWGs
NRyH0wmiHdFJMSLJ7Q3cllowavvhFGw+RgNXIuj0rRdDyHgENFiZYtUK/oas353h
AeyjDE3UuSwMU4UZpQCfphvTpYsPbyXxCeDWZ/4M9fWdC6wqnrD40wTJ7ES3oEAO
dVBrQEyJbVmNCrS8vsAVqeDJOxZ9K5ngX/KgxNqt9C1+PVt8HXxmlPRJXi+9ZtDk
0w2EUgAHIleEeS0/OSLoKWq5d6cpTZ2drsk3iDvum0IUD85MsZKd47xqVM0p2Bon
fD42Lyuu+K/BWQZiVUErxuTSWo/XFyA9TOb33OHeGGhWk4cEdhC/tXyvex1zGp+O
n/d4n1HU9kGRungOy0qp2soNZ0DZCd4b9RFXmg7HxiUvy2U0f3k=
=oRJR
-----END PGP SIGNATURE-----