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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.1.0-1build5
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.2
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-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 bc5530009c9c3d0173d547360f8f292163006853 715777 coq-elpi_2.1.0.orig.tar.gz
 3f7139b28291a2e9a8af4ddee8e5ff677dda9829 3804 coq-elpi_2.1.0-1build5.debian.tar.xz
Checksums-Sha256:
 2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8 715777 coq-elpi_2.1.0.orig.tar.gz
 518097cfe6d5dd93cc2fb18222642b3e014c3aae55634e30f32d3f92ba556705 3804 coq-elpi_2.1.0-1build5.debian.tar.xz
Files:
 8982b8e98b29deb53c03eaab9160ec10 715777 coq-elpi_2.1.0.orig.tar.gz
 0ef7ae61b2e2477da9ba85c257799b38 3804 coq-elpi_2.1.0-1build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2ENsACgkQ808JdE6f
XdnSlw/6AxsjzSj5Ex0WDEJAkx4KSD2YQgHx58mRWg249BvjtP0IAxARNPwtKNdS
ebhHiAHp419xZk0IR1jmZ7tUlOi6QThLKkLD3KTU/B6JcE75m0yDq7v7bGJLRmnV
7zooyZ6cjJoyTHkL6K4vMoAdrMzbc6SvIDLeqLEYClg7jGNuYXXitrkaxfO5bp8S
9gdxt6p76QqV21LazXL9yQ/I5DkD/uPQHQA/GY8fi2CiKY3jK8ygK9YD2vbVvp6L
GBYmOv/4glNv8MzPmrrO8jDMeJQjRQkErQAHzSnTz4XbQARGzbnY14IxcmoDZfes
rzMMnSeF5gQTtbc/iTqAMt7+963s2e3u6cEwd9u+YJJjI/JoR7RO0DlnO+2xhEAS
BYM+0ycZIP720+y/dMTz/YUFz6keeQtwuURlZPQ+rhMqOj6nw0DLcYCvs/OSnToC
1tFpyjLOSKTr9E+8Yls8Hgkq1OwLrke6KyhsoaS3SclduQgJRNucljqZSLPVRP/M
QD6uS1UmniRbqC0oAYwH+ZN8LSfc5ZJ8ydQeR6kXiLksnZ3X/o6J6F7vxl3s8nu+
ass9/zKcWwMFscIupeQsztcc3F8SiTk8BnNHWqvymgNmnjDAw/JXXBqHutwCN6n9
Lo43GdDQE+wac7ntyU7wsB4cp2W6gE/Mye3HaSkw3wd+SNoO9rY=
=gJLL
-----END PGP SIGNATURE-----