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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.5.0-1.2
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
 edaab0eb0dad86fcd57317ced0cace3f0bb833cd 3920 coq-elpi_2.5.0-1.2.debian.tar.xz
Checksums-Sha256:
 ab536326caef5b9e1c2a9ec6c8b413caa04e8ab428c8351801d2134117019fce 745968 coq-elpi_2.5.0.orig.tar.gz
 400e0ccc38e1215f29e92443833f7070fe2acbbfeda35fe285e7fc4adaf9dcbd 3920 coq-elpi_2.5.0-1.2.debian.tar.xz
Files:
 43f614e71f48f10222a5f8b4023a3e23 745968 coq-elpi_2.5.0.orig.tar.gz
 f21b280b32f2992550c8e77e6a189d3f 3920 coq-elpi_2.5.0-1.2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkAvJMACgkQ808JdE6f
XdlcCw/8Dco6MpB3pC3hgpW/AgQdX7AjimgjKt2sPK5b78YENHhX2PoJWFYs8seQ
9XBAiEHWUEDdmOzS8gPywKGkPbskvArKmpUdiz2z/y8qMgQLhNxYWev37fqOyh22
jS11MLP9utsG73oC89mEhzbY6F1pA+s+U8Vi6hXBHeLIP1dx5udSwuhPjNhkpFwU
rBTyhLQTO9JK6DtzlBQaMqH7wcTcu1oVnuubSsH9LJM716QvLxAE1mKLb/rcB0Nz
/YYTGFc1186h67hxIi/uk0fty91t8TsdrBFKv2GjZOGZrlWZbBXKcv2JVM8JhXj8
UU30H9WibX6FOLZLywPIoT/2zbaqpk+Zoz+l7MEOgzoRzUHRhcstkGXP1Qb9U6Lj
T6ckvNrxU8NLxOJ2uhlzF1xWuHmtlgotNC3CvH1bqPUEQRgLtmrszt9oeCIPVm1x
vGgDb2xaUS8oFe6V0g+DEBh9otJL89wdKqImILLQ3kVBs6FQ7WuTcpxjYAiuPn/L
gpnRtiKw/EsA/iPivsANQ6+b0Jq58VAvmvU6ElPDhJclWORaVt9dzrnjGwi2rS8N
KpZwRIV5zqRjFiQcZCLM+lFe6JF7Uf9+8vPK4Q1xVKf++6ZijAZCd4+26qujZgAQ
mSMoHCkFbCOm8GDQgcE1qyRuS2Qk0Q+yF3EE+GkwimYxXZmatNU=
=kyTE
-----END PGP SIGNATURE-----