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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.1.0-1build9
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
 b28f64f08c198129d04e7afce71c2088855dec5f 3852 coq-elpi_2.1.0-1build9.debian.tar.xz
Checksums-Sha256:
 2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8 715777 coq-elpi_2.1.0.orig.tar.gz
 9c0f96870b7ede69d26571edb290d95bc9e9f2fe7112052520dc95b26f3af1a1 3852 coq-elpi_2.1.0-1build9.debian.tar.xz
Files:
 8982b8e98b29deb53c03eaab9160ec10 715777 coq-elpi_2.1.0.orig.tar.gz
 23f05f2be683298ddbe9a1bfb68d9062 3852 coq-elpi_2.1.0-1build9.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppPYACgkQ808JdE6f
XdkGeA/+PWYB+tqhJs+nlApIfm44unoNy4Zzf7YXgc2Dpva9wsZz4eBFM8jDxquc
L1AvLVNQGnuc3UejFWrQ/7IHxUnfHhUdm66YQ4gMkxqPeN4Pd0+/BwDsCmwhS3Vw
GwnIiy64cg0GAkbrlKBN9dic2/zPdZCjyFqlJJv9SAYW7//KATd4Gu53xPCA31Rw
Hue4cpUTrhYhp1XgUc9p3vjj9s3Y1ujMdmtavLiFbDHI0H3AvDWpVsN6bxgkbQr/
voflOplKR2LvVnnEDr/T2uqtbAihZX4ApbE+st7EdXx7Rip0dEVd8URSDHYlOAQO
oaoeOXvWu7An31LNlDw+hH/BpIq9aWOQBb9x73C8OTUl6DwuoC7yLDYomySAhd08
gUP5RszvWxuI8BbTPnTdoG48scGbGBQtrFhT/8YsFZYfWJnVHOUQNF20H037BLLT
rrMAlETTVs2ukROMLZOJY2rXmY+/g//3RmW/00cquaNk/EO4Crgz1oLHuVs+/qiT
7zbEwSL+yYLFPZrKMo0cwVqczvvYcWx6jxANVwrNjaoxpmtfMmpXBGYNAYAzL6ei
V+T6DO8lEPkGIVaPiu/cMJRihAEGlasM1pi7aBSXdGSW6ZLAhyVvf3gXHIMHxI8V
OUX4eHQD4cSSNJEU5jtzqT7KfREVMucGqFGOg/vFOaGOsvuG6WU=
=mo7X
-----END PGP SIGNATURE-----