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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.16.0-1build1
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-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
 b285c8cfdb93998788a87d3b3eb8cf54c0dd2063 3436 coq-elpi_1.16.0-1build1.debian.tar.xz
Checksums-Sha256:
 db21d73dd749290fa6ab858dc40e75ce7bde7b80724338580b20902bf05feaa7 426223 coq-elpi_1.16.0.orig.tar.gz
 3bb8cafd3407361b82dbf06325e956f68e5da884dbc6988b87a6a982ac113a16 3436 coq-elpi_1.16.0-1build1.debian.tar.xz
Files:
 688a6cb1b67db26b007a0cf54ba0e985 426223 coq-elpi_1.16.0.orig.tar.gz
 f507d3a33bcefedfe95ba187535fa174 3436 coq-elpi_1.16.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmODE9AACgkQ808JdE6f
Xdluvw/8CDillfpYWGL2S3cb0pZI20cBRIcvmwMHmfeNR7Ogft6wmsbfKNFigiyI
96Sh7BGjaRuAhJ9ew0nYexulKtecfwfBfy1z8eF+48k21mtB49sQpwfYn7BNn2IC
hQOfhs4ngE42we3bhRCxx8VS4ruX/QmF0viLIawzK8Rh1QsqGIBAqBvxaztNUqJW
1sAliZ/rr/mRZb1WsDmrOy6npXYvbDKuMUF0wCPMSpVQANFOGtwqsEri6FjgGO0M
2T31Q5iF9yJ230SdEqtKMLnOP+4L/S0LJg5g+qHQFS0+UDMuRyh0WtBLuaZW4l+U
/mVSDayWOdF1d70U6xR9psHCoxNsfqgQ6+2/SQZlcH1QTeVaRa3ZdnosbGZJUcd5
GrXltE5Y+TwkeYBqZ6XQHNK3qiuKHWxpmbvzOk+gRssiLepDgGKYUvsVhibwiTlO
arRc7SmOYftPwI66Il1v4SrIO9ydCDqpRir5EAzIHqPE3/VqrCIS/w9s/KvN7/vL
yW55atxa0RclPmjToIozGl0iE3PwjoNlDYLJJya8jd5RubAd+r+me1BWks4ivtFv
yu2FKlS6EwTLShYVLNiJf5jOg9XYjXpMJNH/v1+Bnt2UvRC/t5CQ+o3kohTr//2U
0HzYmjGdv9QOr9qun3XaPWf8e+qxyzTO0S4GxRjupnDvKd3hbVg=
=6fQ+
-----END PGP SIGNATURE-----