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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.17.1-1build5
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
 0c2de44a90398aa1a4f6004c6eadab10c6ebcdb9 3652 coq-elpi_1.17.1-1build5.debian.tar.xz
Checksums-Sha256:
 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz
 b56fe012d481df92dd2ea9639c7439c36312c63395454cf29f0bd186b77a55fe 3652 coq-elpi_1.17.1-1build5.debian.tar.xz
Files:
 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 coq-elpi_1.17.1.orig.tar.gz
 09f40017fd95738d20a81a867a970849 3652 coq-elpi_1.17.1-1build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTCPJIACgkQ808JdE6f
Xdnlrw/+MS+jFIpoSfsldTZccXKCqziWzo2lQIQxYbtX/Wn8ZhtjuISJNoQrcHgO
GE7CALyGbVrkv+1X3Rd99cjvM0S2TX2JSxnmQdVPdRIKaHVRtSPVb8AvfYKAaTqE
7q5tj7/aIAX0JVCONCTjIWGKPoSjDIcCBWedfZKsHkF0yG3vRGhPOveN+CSVMolb
xWr/XDnVefhMs/riulmE9tn0jsJSOFCxo7aeZmN97EwM1+DB8+bXw8twL/ctNHib
J9YvLUvaQ3iL5ags3FpFuGc0WglEhXK0aN/N5FAmQbx5V36pcLfpnbjUuXE2jWU4
KL0raV37lZE2rg4lVa6oNsK98JyOq7h3djolZmUah4CA9lXhNxZicwOAV3RUyyP+
jCxOAN+0lGqyhK1C+Rn/86I1JcEdcelajYliCqgmtQ8ZHafZQH7I7FifBWdnrarE
VPfxYYvRK4dcqcGuq9BMS+DULBCPMFxt/yIL/soDCKzyg77M3DYs1NQR2v6nGndt
DWMuGCzOer7KBsEuhCtcfnHo+O7QRuas9c1LU/RpRdaTt8ed6QYRiDH5gP75UyMc
mtkhwAF6W7FYTavA4ZkU5TwXK50p4rK/w6dyjLHKYreMqMEMyA0xCwXRNKALNvKs
sa6HrgO/GBtAusV9n31NDfBschKZFO4YyH+pj0jY2gLrMYqMqTw=
=LPBc
-----END PGP SIGNATURE-----