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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.17.1-1build7
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
 d2490cdcf4c88bb9b30fbcecfa08115ee819f710 3676 coq-elpi_1.17.1-1build7.debian.tar.xz
Checksums-Sha256:
 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz
 3365099bd2206959b897e149b985ad26f6566abd63e1f4338711ddd2f5406c3e 3676 coq-elpi_1.17.1-1build7.debian.tar.xz
Files:
 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 coq-elpi_1.17.1.orig.tar.gz
 d2887abb82d3c3934bb94ca477a0d301 3676 coq-elpi_1.17.1-1build7.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmThwd8ACgkQ808JdE6f
XdmV0w/+KJ0AKmWC3YigDoIbu5OlQibuXPBf3eCTSnlxkPGYXAjhfuJ2OogSjQJy
sEWW0iwsXK1+paauxgVcyQWF4ZKDilNSwkB++s0zExLyxtb8w2InbGxH/G1S4Ppn
L1tFmMMbw4HW2di3bxQx+uPGoQliolhDHM2ZzSO1mWRsUw38p3sEiLQw+jBGqBrP
phSuVGVsrJuMvHEUwwny+c669W5/BhgeF+1RPyOl5Syo0+RnjsPiwoEvywJPNKpq
yx6aZsHn8JugO+bIi+8EMfMpibL9ANaoZRUgHefKybnjERn9lpfYEfZdSjXQz9zt
dFlX8ahdz4kUc8zI/l3P3/FjRUahjCs+AX7Hm9fgCJJ5xIyXBgx/sOFsJJCuuw8c
mPF0NXJ+HOqNtKIdNahYTMDUmaoz6yb4dyNXn/OxB60Q3KeT8j7QDRy5NZl53V58
zQ/v450e/fUghietYhwcXyLUwXk27EO1vzidcffBQzNgMLxsqc9BaJ4ssjyzyAPo
j41ERxoAV2dIhyZy9I/EqKBywDA24A4l0cF2QX4qf1LgfjpOScESi+WS3s1+kLKL
TNJwj1s5fpGPcMtg/vHDOlFMoaBC5VZF9YNngiLMzcSAPUE0rr95o2L6gQMVdirU
tt2jVtA/0RrZ7sofJ3TWj10loEDpWUF9kgDQEG/Kd0JO8GjF5+k=
=LHqO
-----END PGP SIGNATURE-----