-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.1.0-1
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:
bc5530009c9c3d0173d547360f8f292163006853 715777 coq-elpi_2.1.0.orig.tar.gz
51286840702e8eaa52f0f5886d4c7c841d9ae3d8 3656 coq-elpi_2.1.0-1.debian.tar.xz
Checksums-Sha256:
2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8 715777 coq-elpi_2.1.0.orig.tar.gz
cc67841986c57a0ac05d57808f9ef37529a900b73d120b35e5b4c3688bb9849f 3656 coq-elpi_2.1.0-1.debian.tar.xz
Files:
8982b8e98b29deb53c03eaab9160ec10 715777 coq-elpi_2.1.0.orig.tar.gz
a45434de24f216d5f11f4ddd8885c63b 3656 coq-elpi_2.1.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHztUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReSQP/1oxgbSJdV2R8u6HoBj0P0dv76xvxoh4
dZXChWpj83Oil/dI4LRnIp3JvRwcO/MyqCpNKOrlpfBTUhdDRrj+C+nPZiH9twzg
g0GOLAfBdZnfi4meI1saX6GMflTOtSeTnQgrPzLofLFGWQNlpK+sx0mXTNWcxjga
FuW0T6p6b4SbjY1UiZitqZF0yg4HVlF7FIegsbDjHW3jjVToBQjden4mXYZ1HglQ
KI+wA6DoY0emRDJ0mwIqJxjhe/K7ZAe24O4+OG2lY/QxuwfJA3eSjWeJX3q5TajP
lbw/mGa3HZTyWD89jnjR2ak1ejLixLboPWrEheI1LLwzRT70YHeechrESBKTJVe/
cYoEck/b/JiAOhVASWYsJ8Gxu2UJ9w36L5eC8cwUIINxjjTo1BW+NeZ34mOVovii
mtxLMifkWCdDkwfxlemK+kBGEXyPoRrptSmhZW3t56ixtgXdhilfdyzRm0qE0mz+
GChHpdRABXcah412FABkCk4MWIOdq5VT3vpUxfRqnY+UVxnESsL7wrBuOJfTxCw5
+JaecIlAXJtgIKQybZo45wgT9gleHfFf9ACtvQ+KK6VZ5FZivQqkN4EwEAyRWTko
VgnyIH+mablnTvwsweHcW8r428fUFIRzPj87xqp8wL5ArSgd4+VEUZl/cowylYDI
tWcEWD9OCyoT
=WSUv
-----END PGP SIGNATURE-----