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

Format: 3.0 (quilt)
Source: elpi
Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi
Architecture: any
Version: 1.15.2-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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git
Build-Depends: camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml, 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:
 5310fd9604c884be6155456e04cf4a80d30393db 1596234 elpi_1.15.2.orig.tar.gz
 02168f642f6a60e46db3bfcb4f2463462b05d418 3456 elpi_1.15.2-1.debian.tar.xz
Checksums-Sha256:
 12ece75656d186d4857f3ebc9895b763afb35fbb6efc6018fd284bb1831961ec 1596234 elpi_1.15.2.orig.tar.gz
 27742f6df29c9946ef26e5eb0b5ba8b9390df65a84b4cb225511b04d1adf631f 3456 elpi_1.15.2-1.debian.tar.xz
Files:
 735fd5a1f5ddc10390074465ba90838b 1596234 elpi_1.15.2.orig.tar.gz
 150899b94af4d4b6e5b48a6a17016964 3456 elpi_1.15.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ/DvcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBewP/2Vm7dj7D8BD/dFIQN7usDMWviMSOkFX
mD+PJqGfWaI/xDU6xa1866uppdAglkKZrzvpyxPkOUB1I/MVxayqmU+57CmvqNfk
PGV/INlaeQhB7wAWpHh8XPaFIlapj4l7DF8WDhrJ9ws1ZpwIxAPyfULa9t+qyAlP
8HcSaXMjitpdYe+YQhbn3xpjmdKMV9BOAvb5THc9sravZ6TjwTvrUxR6cP2JyKuU
K9Y2PRvyS8AqfdlMrBUkDncm74G3cvHYvLln7wcFrvq+GjiSko2zq/xUb8Ggw4as
6EZ6+ZAI1WCto6eDXb1Uh8nOdrttZ6g08BzEHsZ/7rxWw3ugBpsXS5i7zef1+nuu
Q4i9WkPhldn8IoUEJPZ6coKhEtp4kTb6rDaVDewV5PP6IaPsHiWJmRdu5tiY01OJ
HSVkYdhne5t2CFgVfKOVt6M0xkCg7cLRI+vYl/8PXSbfAT99hxnRvdneFqpeamso
NNqWd2R/zT6RwE0/vTjLBUd12mu5yFi4wM29zrtSBZfztLo/4c0Y4NrG+hloVr72
ag2c7N59eF1NULy5udPboQNKWUPRqQPnffXWfxHRsJ/0defly2+Eq9+LJdUNgrCH
tEJEPAoO+VVIAhac1RxQBrMIUFeysg9UmVcB3V3qdnBJ0MpETuA1JuXgd2atuwQM
pEFjrZoDqT9S
=o6Gf
-----END PGP SIGNATURE-----