-----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.13.0-7
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.0
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:
 8982605c73f1f7bd6f29dd27e890ae8bbcb98469 360052 coq-elpi_1.13.0.orig.tar.gz
 2fce95f62f2d24af0370d5db0805df45c2b76a7c 3052 coq-elpi_1.13.0-7.debian.tar.xz
Checksums-Sha256:
 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
 96c1d9dff7c6797e9d386e3ecb0065d8848160c51ed48207942329804f76b0d3 3052 coq-elpi_1.13.0-7.debian.tar.xz
Files:
 2c3fdb216e98c32610a8cbe6234d4e7f 360052 coq-elpi_1.13.0.orig.tar.gz
 9ce1c0e51aefbb2b6678ec744417f4cf 3052 coq-elpi_1.13.0-7.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJb/qoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKU0QAJ+aThQpl9OXWYwIcZq2XvoraMz5j35p
fCL2Ri58DLwz6k+pHNNCA82aLRfvJ5rmhebsOMmBjuzWPIzTRjurTIuIqSq9CiZS
uHq6LGFfcGXk4VETbTIB9KiM58UxbMARHeP8nD5Y1xnxI6o6ytVTAls8OFz0F46U
q3mK8d6xiJpqQWlNhgTz0giuTn77MrdccpLPUR7u76/l3F9MqslY1ZxfrbeFbqz6
mYClyrtwZPkHNlMSjnIuFsBClXYbSzeBmEVpIig5R3RLRddutcxEW5jFxgpeyGz/
UWpktBw0IB7Oc7Ga+iZwRWj7PMMSC2AB8LjMzH9TuBCuj9yoBb0ACTofEYd0smN+
fD1sdiysHD/8fapvSw0/Swrh7ynLhleUzdY7XPodGQTyEVpN8HwE0u9sV/IRSHg+
YQ4eOiHlk2IMOo+qZ85YZTeR93kHnzYvjA6cqpdxa5ZNkkSqCcPO9D+C8pk7Szhe
IjgyCtq1sgTfn4T5QITlVQjTV3n5gmrEQCnUfntl/8RLJz31fVTC+vpztpLCaXNE
ybHnqjftQJLe12MjbhzmEgpu/8FQSIwDfvilNMlmZ9Ju2ODx6nbNE3OD0VnUHyD1
Zzx5Cz+3MiEw3Qv87eojTLHHMU2dgdlyJVZpJ6Bg7CqY6ZfqkeTfIgKt2swnf57i
yBQxk2DhdZYQ
=aqBF
-----END PGP SIGNATURE-----