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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.17.1-1build6
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
 0516cc60c3811791671f1aadc55a92489ee6d9b1 3664 coq-elpi_1.17.1-1build6.debian.tar.xz
Checksums-Sha256:
 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz
 cf6dc3bfd6a6ff5089f8330cfa47f8db06fef76f67514a315e0910451459aae9 3664 coq-elpi_1.17.1-1build6.debian.tar.xz
Files:
 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 coq-elpi_1.17.1.orig.tar.gz
 91dcb1c1357858914bbe45892dc3f4ef 3664 coq-elpi_1.17.1-1build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTDN2AACgkQ808JdE6f
XdlJhhAAnvX4+CGdgZCpnDkZufwuRrnM0hHCpVOA+xLAdeQtTldlWynqGkgTrt9U
r5uZdCTU9chn2JUPkqk1npCEj7Vaa3aXf4Ss6zRMTxehHsEGsJByiCTsD0md+g7S
ozOys+sogrwSSy40CrR34qTWSHrh6QvTIHphzdjC7mIzatGmwizKnalvPK2qaGwx
tE3JDMMDHrJHoyYeqZpOJz4rHAp0ApvvMGLpOJdyoAJAevY3uvf/QhWFw2F6A4Qt
AvD0Qib5wv+/PVgURvSjOf1/VQ5IDHk68/qp+mQlSovIEwnHuvtVo3ALngDyh91a
UzYRGUor3bTvJCWiVRaLODpoHMr7h8V+hooMTb7t37pmaF3DVEguBXPAuvGPEMFu
MjlZqzXmqqWYoTmaDWukZe9JV+KT5VBcrukNOi8fMj8z4yXz0atq4dzo5d60VklM
IyAL2LFTVCL1DBGJHAKeA4SXNwski7GKDAKl0M1lTPIOSPJuxZFG6V0t3ZyZHT3e
y2MrjI+opSkirqpSZj3+jPcmYZ6Ff+wKcmxREH3WOuLFUQEa7bvX8vvYWgW4rgEk
irE4M/vwekMwh7RX2dF/Oi6zwQirXG5lehaBKIfiXk9cCooW3+9TGTcKbAS7K/MI
+Cz68ttAHp2U0dIUglxUvqBu8FINR0Z2TzQBiXiDquaFDCCICKE=
=0VTP
-----END PGP SIGNATURE-----