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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.17.1-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.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:
 20b9ae3dd9c7a20a0f65da91a74943cd4b746f86 430263 coq-elpi_1.17.1.orig.tar.gz
 0404e3c30319cffccbb6fdb74b976c5f2f3720d0 3544 coq-elpi_1.17.1-1.debian.tar.xz
Checksums-Sha256:
 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz
 a6612c12b1f82c9e78f30a1827d1e4e2356c964b079280b0bd41f6799015ecb3 3544 coq-elpi_1.17.1-1.debian.tar.xz
Files:
 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 coq-elpi_1.17.1.orig.tar.gz
 3adbfcf7222e44b30bf2ce4704e2b064 3544 coq-elpi_1.17.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVfgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIS8P/3QvaK5j6g4H/fG9jrtJncbz0vlSZfSa
tM25slkOhGTqYUnQVdk2jzzliBXjvVJGqaw5AGz4nrKIpeKecMMSyHXjs/cut9T/
gkX5zOq+lb1Ti2D2pDJao3IhnOlGafSaYc5XIV4qzkaIWnxzXqBEkDaPKane+dQt
HoTdOFubcY98s1P2/KtRfcgKhIBpRVPBra/u7QGjFCizeDIsz+4xvRIvColdSejC
TmI8NhNCAwN1LM5WnugykAkmP1UcZAbjGa3httkhtxF3LCKa9wqdVbk74/QF34B4
twEWct/YR9swFholSlnk4zwL6Zk6pQEa+jY1F3WKaDybGJzRS7hN/PQRYLfRWviy
42cZFjyJTZkoX0PATbma2YT/NHo5QJzB/T/ut7f1bFjlfJWATvatlfjP/fIVHIxl
UEZWaXYXnjuNqDCDy767dm/HLMxzZBOCwSN9L1GuoIYpm0vPVqQWp1SdqiWq2cCL
rcrnW3Wx4P7C6XTG+nPb8T0U8J3WvoSRXTXYmfL2ksvOdGb7IVhGlTLkz3oSeoTZ
LfzGd6Lj2Y8TDSW4U5XloVciDzrDgBk7DeJILl4mjyFRCS/DVBD4ZTqPNwv6Hv9a
gjU2vZu9LV6g2FokwJXMR+GqfqwQliH+KVRN8F+wqRn/4kgaNZ7Q3b+ZAQpGgjNg
6ruRppf0j2om
=hHp2
-----END PGP SIGNATURE-----