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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.4.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:
 78e4fc8064c0e4a2588cf8564c6ddab8440a120d 734755 coq-elpi_2.4.0.orig.tar.gz
 bd3a213f7d39f459755b006aae7b981246876e61 3784 coq-elpi_2.4.0-1.debian.tar.xz
Checksums-Sha256:
 197cc82611cb9878f45b31bd6563903f10e41ac5851c37e16df48c8a72b0a268 734755 coq-elpi_2.4.0.orig.tar.gz
 b60c35288e69daff6173270b029a63a3120eaf9f930faba03c5c3458301e8f60 3784 coq-elpi_2.4.0-1.debian.tar.xz
Files:
 caae6df5f32acc7cee281e63df8cf223 734755 coq-elpi_2.4.0.orig.tar.gz
 8a8f68cbe5d766ef6bb33840573afc95 3784 coq-elpi_2.4.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewrnoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfvMEACIltjQM5s3TOxEFArKx3ZY
ex6Yul3m4MMaxsVGH64wiz7phvNZGNY7NF2wcfN/hCpWD8PxIQZVt/hZtMvO3+iw
xp9weQ2VhZNqW6qnxyB3jQW7C4TbVL79aUtcx6g0Zj0SwvW/ilwTqRTO5pAV0l7x
qeq82WeDzWGsW7jCstzVr/M3fIeGSVxl3+MECDATdMTXzZIaHvpEqlJXmzUKx850
P4V3ksomZjuXh6Un/bmc9vtZpPvRVc3y2eMDyKQMWjr5abSOZC9SNoX7PTfrbdDH
9SrqEEycaenF2nVK6nUwGWmRFKvmdgvT9mHf1Q5CM8/VaTrepGiFaR531muKTgOV
4RhfpkhACYQe+FUV6EEFYFzhfiXANo396LtTgZUykGlcRblwpXVvrpZlA/0EAng0
dwJIYsJ4Hn/qwooBuW0sgvXhGgwk9j3ZzlkFLsB+PxJPyMlTR0fs0JuWY+ReaBOi
uSV2zRJdSOV2Sl+BoCpQgq1VJGiJMzLtYxzy4viQ3t9wfYdHoWZCd75rsUcNpp8c
fcgT0zAiCQn62ZcSaVRPze2BrRKZOg3XkSmTUmNhnm884wy+9ucC+zUBk/8dmFqO
2cU9Jr8ByiMn3iOSMJ5tHJGOxU55YU9g2feSNvIFVk7JLfLv6XK0uRbZgfwuCymJ
wCcQeBs+iEgEGgy9p3l8Hw==
=v4C9
-----END PGP SIGNATURE-----