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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.17.1-1build1
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
 55633240e99cd884252f6a96a5c195de86ff0cfb 3604 coq-elpi_1.17.1-1build1.debian.tar.xz
Checksums-Sha256:
 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz
 a6d2816c5637c1d3f06ddf4091f519aa88f51077a342eaa4cbc60daee53d02df 3604 coq-elpi_1.17.1-1build1.debian.tar.xz
Files:
 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 coq-elpi_1.17.1.orig.tar.gz
 cfce772697cad613814330c4e14b7c35 3604 coq-elpi_1.17.1-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSoeEkACgkQ808JdE6f
Xdkt3g/+JQ4Qk9EUvEhUIvzgrb1SOOAk4vP0zm39XH6VLzfkJbxDJLZkWb4rxlBZ
NCdDIBomW0Ee/PnErpU0+6WEJAQEwaVyDqDPKsETnUyz8w5DO+/ffVYqmNxIY95b
hfhNRNcswnKOLnFuvCPx4K+nFkYdoOXryifzmUaVfXl2UhugLhsnNhqUuikivrru
TrNe7H+Nqje9ovYiWYRzbBki2o2x3ApJtqSMBuikjhqe35NO2PH/kuV2sDHocohF
y5tlnGTilbxIoCqBWHcibPEwDFOK57LTcgI70fyPQaKR/k4mfO8tjCkNtgZUkQyw
qAAZFxBK+VlM925cKpBKEiKj5wWe+mEbSYu4aeWJ2K63sx4beaTuNjc3qje+9aZt
7Hwx7ki1pf/iFqHXOl/gmV+G64EVynM7dCh/HKAJ2TgVpxXi/QgNu0jCVhtLy/gY
Se3SbMEOLOcz/n+APieJV5slFnN4cZbZzahA3agjEW0nWviBYB579k3viPi5etN7
zNzQGUULqCHKOYEi+adRxptOR+aSJNURj0oiBnhEI+xfCCF47hsPnWxCDzDluwpo
J3S3OP6Ph4ucmhBouREk/v7ziIFeqSaJrZ1RKKZ0VxTtd3MqlTAJ8zYsr9eHblam
lMjho/5c5hoc0W8twBxVjX3UEaxSjwxqeqGXei+JWu0s+l2Tmc4=
=oowM
-----END PGP SIGNATURE-----