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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.1.0-1build2
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
 0975f95d72ec8280f7aaa58ca371501c097c9c57 3736 coq-elpi_2.1.0-1build2.debian.tar.xz
Checksums-Sha256:
 2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8 715777 coq-elpi_2.1.0.orig.tar.gz
 37207113a9c88dd7ce18debd367bd062d1e22edd56f73d8e2cf65b0b757b9f5f 3736 coq-elpi_2.1.0-1build2.debian.tar.xz
Files:
 8982b8e98b29deb53c03eaab9160ec10 715777 coq-elpi_2.1.0.orig.tar.gz
 1bcfd0f53786f4250e078b71ecd2b71a 3736 coq-elpi_2.1.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOHAACgkQ808JdE6f
XdnzFA//eAQc0lOVbKV+xRaLBKnLaSy/t38V8n3W1LELGmzp20QCW8BzBA0XxJth
k3NqON8Wk/Kxn8EvQvtiMyPUofttIOibzHetqsWxKBQBfQdrrR2ASlniCFr/Gj3p
alxYW9gFoYPVPcUGYXtrqa9Eexa6y4mqy7WKzMex5272lQttjvZ3WOYWgfT5UW55
RBNeR48WsjSE8w2CFyzTJzsRkPi7Mi3VUEe+zu4Fa8B4iEakFOPB+qu8L9YWROCe
pIvhH2WjdYcpwjsZS2Ho88MrBzcNi8ODL16oHad7uKbHpD3bX+nET5ZcbuGKS5+D
/EOcOkoYmfA8IaKBVqd105HMVfHRTih6+s4Hz454QIxGqoko5nw0U0eXxCyOzGGM
GXFoGMavqCQ0FfDIDX7zSFdN05c2pEw3UT0VZKpLCi8Zw9yNFDQS2+8o2m7tBzFB
WQGBXtO1mp5MspYmrAgb5uTbrpo/X4OSW5WZlycKnE9t4Cq4z8rsMmeMkik2Ek96
eHo1AlwRM7y+DwFCEpDrWISyHRC6zgbA54uRH3EcSTyH6c9wImb3skB3AXqSsyK9
g6oAsm1TmboCqVCt2YSSmd4E9QhD0lsHggTf1v5FijujSqE8JlQgHo8vd8cmJOWk
gbsXI/ae3cKCBmy7lzaiVgw6qioiiVmT5ugppqH6oGyYp4vq33c=
=fBRz
-----END PGP SIGNATURE-----