-----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-2
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, libansi-terminal-ocaml-dev, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev, libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, libre-ocaml-dev, menhir, ocaml-dune, time
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
 df92b1d205fdddf92dbecb4a948fe21563c459fa 3588 elpi_1.16.5-2.debian.tar.xz
Checksums-Sha256:
 833921930cdd7810676cf3fc65f0fb1cc1748e8b0c6dedac7b30789a86b6bf8f 2617496 elpi_1.16.5.orig.tar.gz
 7fab90f577b961e0d52af8ad1eb92e4ec6a1a92a1320f0d3d2eb90f18e057149 3588 elpi_1.16.5-2.debian.tar.xz
Files:
 de3fa64224d468aa18dc59d27859ecae 2617496 elpi_1.16.5.orig.tar.gz
 d015a5263e4efde08e3a97ebd4e1b3e8 3588 elpi_1.16.5-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMfHacSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReHIP/0dW0J2aqWdSesUXQO7vkd7SxHsifPaD
jQOV+SduDet4BY9hWlvAvN1A0zFunHZm9JXUMnskTt5vFslFE/8huRo6Tdv2D3kQ
X3IFms4DADjyWmZezZZdwRhrggip4VMsW2vmUkiIAn5Fe2mfKJZNnn7Q1Xj1yAUw
mYCQm+EX7D51aZJ2GKpLgwnYOSifpzbUFqck6C1JWvTnz3/IhOmzu/79OdP6su0K
qrZX+nr9QFcsUvJLbAaFy0BN0G53IGfp8Glf2FxEkcN7QSDJUAG6WmstDShSWeo9
36nUjFECsj4d+4qOn5ARDCACLXtrcmJnDb3/rwCUJw5UH2HyF1QFUKWOJgVgWOey
yBWU6p/DSVasLc+58B4Mj7M+jjoQ5kz20Cll7DTI00X09FnEACZnGdaMATn2pBjp
rfPObfnRUQz7PS9wKhgWhrv7lcYB3kmWpFjXGj257FGLXlQdM6hw2kec+CtUNWos
gNrX7MXK8kEmlph4Mn4Kq/blNcrWCMAWS5Y5ACScicJ2RgWXwRpR5PUbcNem9D1/
aNUYQ91JB39JuIZKAy5mpZ7iCh0LyMZ0izsMj9UqWqcOj9WbXwAI/d6045QV4d7L
T9TqGQ+//pYfTBLDg94n56fwUTSN1n3wOQjXD94CUsvsRYWo7q0YVQ2grJ2PmKma
0zSoXA7yqp5c
=jsNJ
-----END PGP SIGNATURE-----
