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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.5.0-1.2build2
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
 3f407335d508bcaef934ee2760d9df5ec3bdb5a8 3980 coq-elpi_2.5.0-1.2build2.debian.tar.xz
Checksums-Sha256:
 ab536326caef5b9e1c2a9ec6c8b413caa04e8ab428c8351801d2134117019fce 745968 coq-elpi_2.5.0.orig.tar.gz
 b857e5cda2b905087cbd264ed9046471d72f45938aa42196fee48abb6c4dd613 3980 coq-elpi_2.5.0-1.2build2.debian.tar.xz
Files:
 43f614e71f48f10222a5f8b4023a3e23 745968 coq-elpi_2.5.0.orig.tar.gz
 3b5c418b832f25b2b48b34fd5d42d166 3980 coq-elpi_2.5.0-1.2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5LoEACgkQ808JdE6f
XdkNuhAAzPPs+Sv99n+Su48O6YKFszkcgKTiP2RuYjsyDJyVGn3rZEyGjXKCaDal
cM3aui/lUBcdtfjyNFh44WAkPP/VebuMFQSnoFEVGVOcysvCeK4UwpgXwoCYdEZz
vNv+VB/pU33FHuoIYPN/67SldsthGsbTpR+WztEedXHqASyQ9waJAGnROxd/XGS2
GitRwkL29yqWzFtj23yqWfo22aDtvlB5sUDJ4EgF9XqB/lAjIhfhHPP6qnEKGuc4
NKR+vcWGDZwp/tZA1TIikpuJU5+t68OUoXauCEycy5GXy0cpGVHcTLoEJOPcViZ1
cBs8KgNDouhjVEikJmSCxWU+NhCMBzmc7tQ30L+mckid4DuOMiXSkzyOrBDVF/D+
DdMpFwdufrW8ihzfZYyr3fw1IOnum4G2qLhMHFoVd1rdV3nKOSwFQcE9grPzreyZ
s0Zrg5Q+c34QGtIr5w3n+HG3PXuAhpgg+flt8CvxpStyzE/zejlr9iGxgaAjtttQ
okAAMxWOr5vVhy/peHxOOlrjBv3knQEF9zVsDYHO2wEPfuF3xkvXCZMzp8L55oSE
z+CaAHhl7qD9cMAbfWNFFXHXUYo4rP0JiTYWSaGxODK3nXcEkcgbtqkMFKxm/Yxp
0KmYMV1WgKp7rMASG7ogsJotqoJg8DC8ifiTlMbL5tjKrI/tj+s=
=qXyE
-----END PGP SIGNATURE-----