-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.14.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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, coq, libcoq-ocaml-dev (>= 8.15), libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 42a67b1d280d76f894dcc0073095c4239fa75d3d 360407 coq-elpi_1.14.0.orig.tar.gz
 4605ca33d4d6a064fb7284daf97bcabb7e2b26eb 3136 coq-elpi_1.14.0-1.debian.tar.xz
Checksums-Sha256:
 ec85b559f7ba663cd02448dc736b2802bac820ee9a2a1e8a8ddcfef88e1bb700 360407 coq-elpi_1.14.0.orig.tar.gz
 33c930669b44be90aca99f1dc940f1fda8c91f4a40e09872fce1432577e7fdea 3136 coq-elpi_1.14.0-1.debian.tar.xz
Files:
 755323c2d96e12728833234b92c33ebb 360407 coq-elpi_1.14.0.orig.tar.gz
 2aab7bd93e789f3fc8f8cb780b9f91b2 3136 coq-elpi_1.14.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ/sVwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxi4P/1187bKNuAMIvHRWPbHadN1OTPk92zf3
B1X22JUWYfzWjfFJ2SR0chAo0lP+OQL1sWTPsvApAZgu99SVdSdJI8xWlHhmi7mv
X9tHUm7WU+RN2rtDJ4VZqiEEakuBWbDiz5ktZM5d61bhQDInck71LfIgj6bpYTm8
wdyI1pyIdPkzG1GGG5HJB9EoE/2AuvhHphRUw/6WkHfcvij/zK07BY9nMYqAOrjY
suE9d/6Kf5eTLOX/Gqi2dsND5u6tnkQWwXZ4lpCkZ5h+QLFuxdgqeEfaOixfKKxH
7o8dEAHjyPG8XF/woYBmUip4J6FHzMH99ODy2/4A6j1O6zYcWLeXjNewRk3ptnjM
RZg64WRKvZjKZ2jNvfq02DLX3RI99xYpFhof6LF3TZTcHG15UnfKTkR8CQRJQiqW
/X6Arz9BXR3zYYtOE+HezumcJ2R5Q16NFpJFFKNOdxNoaowI1DMAnUyAUT1VEgD3
4cb7iJ4/hmeNEMQn6N6wmCvgEkaNuQ1rVZwk7/fdPc5WI90DV9YZWpxBmSAe6u6j
zODscTB24B0gbz7GMnWTx/sY9c2U0jWeULSsEKCOgTGzIg9+2+1pfJ8RICBWL8eL
Zx9G6XRwr800/YTv7WpFhDAx/1oi2ngcPxnKVMdxAE+fJ71PX2fYuAMQYO28ZCWJ
V/qG/0ORvRss
=trED
-----END PGP SIGNATURE-----