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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.17.1-1build3
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
 22f9cef192306bad51cc015e9443adf6adf51e94 3632 coq-elpi_1.17.1-1build3.debian.tar.xz
Checksums-Sha256:
 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz
 87099a8ee5ac3be10b384d59a7ef71f3ebc24c816451a3b699c47e536edeef54 3632 coq-elpi_1.17.1-1build3.debian.tar.xz
Files:
 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 coq-elpi_1.17.1.orig.tar.gz
 de76060b25dbeeb9ed15b569c7c6afbc 3632 coq-elpi_1.17.1-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+sWsACgkQ808JdE6f
XdmemQ//bP9W/OPdod/6+KIlBVeUNX46Ap+DUAv1uM3uE5SX8t0YXID+iaqv5lXV
7OPSbilTbq1dNplYMSomY3E5C8jYYQ389i4SuLKhkWRRRv+oGIQNys1ESCF3Qghb
6bZzcd7S22Iv7VydwKD2a1ooNns1er5FtYDsMuU9YQAbs+NMOQN/iZS19ej4RZAC
+D4+kwL3L0Vk+N48tl3C20/GXihEGsPQFJRbg9DkSvEroySgB1PLuTzI3yVwuhLD
IF2DoKUo2TnO5km9Ak4sBexbJlya4n23oOUEHlrfCNr87+57jFQ3Yu7Z2M/RunXP
RVUqT76lmCDAgm3qUc7s4jm7uBb8ZZ4dxgD4L2lamvj95ysFm+wCQy/HL8iwGUsa
BbBktSEPVGz8kNyksnWeyIaotkEoRtzl+2NWkwGGe75qp0M4obPeeyklKj0l+kO1
779gDC5lZ76y4AcE8oBvEqSIaEXw0BSFB61N5HQfXIt6MWa6SGOMSMqkKQhRh91e
sMbnIfQFkJ+2qQd0te0tkBW8OHTtKnQxZNi2lx8OOAHhB1MmrtkdoNAEa0ubX+Oq
PDnbs1j+GM4mc3lrUL5VZO8AeugcsY2XVtd4V9ND/AoZWePZ+TV5PKhI3zLGxbFE
zK/Czg7cHG01V/LSWgo/HjWByr7deB1vN+So0IUWEV8jd69k85U=
=KUh/
-----END PGP SIGNATURE-----