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

Format: 3.0 (quilt)
Source: elpi
Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi
Architecture: any
Version: 1.16.5-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/elpi
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git
Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml, libatdgen-ocaml-dev (>= 2.9.1), libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, libre-ocaml-dev, menhir, ocaml-dune
Package-List:
 elpi deb ocaml optional arch=any
 libelpi-ocaml deb ocaml optional arch=any
 libelpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 ce5fb0085a0f7348415837653ba470f6123eeb1a 2617496 elpi_1.16.5.orig.tar.gz
 60e05b871cd207a9f4c8b13d355472cc39917318 3524 elpi_1.16.5-1.debian.tar.xz
Checksums-Sha256:
 833921930cdd7810676cf3fc65f0fb1cc1748e8b0c6dedac7b30789a86b6bf8f 2617496 elpi_1.16.5.orig.tar.gz
 7838456a8de3e2b449d4b8690299c93f4fef503df93bd136eab4730a79ecd881 3524 elpi_1.16.5-1.debian.tar.xz
Files:
 de3fa64224d468aa18dc59d27859ecae 2617496 elpi_1.16.5.orig.tar.gz
 885c335c59050739669ea246ed6d540f 3524 elpi_1.16.5-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLT5QgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+d8P/3YzEi4TKHjpk6GeWNvEl561/SISwGh8
XjPy6ibAhSHpAwiB6SLYDlPhFe0xyJaoQbIe/YUWahEjDh9F3H5Wcq67AQhPPyH4
muLXrdSiydoz629Lh5MLf6EZ/KKFgG23oUuWHkwvSMCz0EWNpktW4PQkpzW3VaoR
lncp6HUToXjmVzH/qS7B3223FugGLSQZwoAzIaDI5YEywTJW9Xvm6oBPmHCdCE3B
X01sj/NaR4mk0wQvgLUZzH8J+OAbPpaCt81i0b2fN6AMocKFTtA+pVn4DRjJQCBT
iHnpBa+WHWsd+BOAzeqb2J6AFEyCZtphkla8xAL/tPwK0nHcbfO2L+xnonTPp/HJ
L9OGXGXAeJhtzIjI9LQSCBp3iRR2/uBAMNcgtfJFVJJnevP608bCRY/LAxu21IVy
BsEmUxiShlUIvi7T1vJ51fHY4g1l94CxRrB+t6rYhXwm0Hu5NdxpRBTLuiscMqHA
v4YWi/rC9z663ZGELp6ylvYjRuU5COSd3lZp2sVYG5nqDBkDa2ZH7Vw6Fm5Aosyl
33u1fBoCdLUd4P5WmYLMBRa+xxe77kNsqDA9IOTec2itRU0+NWcyVCx5BWe6rv0o
oDgbQaEdhyq14Hz8LfSTiXTqmTsiDUDT9M5awIeAJ2CY4wTxvCnzT5U6LBxgueVA
SGgPMLhBL6OL
=Cg9E
-----END PGP SIGNATURE-----