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

Format: 3.0 (quilt)
Source: elpi
Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi
Architecture: any
Version: 2.0.7-3build4
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.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git
Testsuite: autopkgtest
Testsuite-Triggers: ocaml-dune
Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml (>= 1.2), git, gnuplot-nox, libansi-terminal-ocaml-dev <!nocheck>, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev <!nocheck>, libfileutils-ocaml-dev <!nocheck>, libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev (>= 0.36.0), libre-ocaml-dev, lua5.1, menhir, ocaml-native-compilers, ocaml-dune, time, yojson-tools
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:
 cd621f4e95daa8aa8423b3bc1944974d65e6d0ae 2642553 elpi_2.0.7.orig.tar.gz
 84c9e2ec167bf83e1af14d0aba5e30e2f6fef2f1 6356 elpi_2.0.7-3build4.debian.tar.xz
Checksums-Sha256:
 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz
 1979135ffac3d0abdf3e0316857a8a15d362afb3976c925729f4890a67f99cb9 6356 elpi_2.0.7-3build4.debian.tar.xz
Files:
 af1ea7c67d8e5e5bd242d9fbfe733686 2642553 elpi_2.0.7.orig.tar.gz
 57e09c4e6f28dec6f4b25d6a43fc33eb 6356 elpi_2.0.7-3build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpMtXUACgkQ808JdE6f
XdnOuxAAx0MPMFmucAAJJT4UDdCc800CqoaaqHkfGKSz/Kc2UDYkXol89MAKWASO
qcs+jlinkZJ1WiFqULNHU/ZwAqueKUzl5/3waupoyuVc50Ovs9EeOdMiLXZ/H6fC
QGaLnp7jiQWh5M8ZDVAcJqNnW2VNB8Ff623xJO6cFhQTeowZmCXTc5e4384VPXGo
tGfKBhdwxeWqNFBS9CaalQ/YLbwCjbwDl9UMxztahitEQY0C3PYxwGo8oDUtXgB+
VrxxmAk/46LbJp3Q4ZiFOLxWnwRiO6g1Y72k1/C3qqswGDd6F48nmojxv+ZMdV05
ydLcg44tAZHs2PWmgNld1p3jOAnXIRnXtplKbV5MD754afTr1XrbtcPsl8ViJuLQ
8qpCPwKVbvbnNfrBMvTmkwj45fRhvsc63sFIR/D77G76AW1mSVSzwndmmtY9HhL/
eJn6f9XlFa/97snoVx2UTquvFhtDpwH7UDTBDTrZlmxBA7779Ys65775pr8nFXqp
s3JSQbe0Iue9mvMVO2GmUCO3eIUyxaJyV06tybnn6bPc/rKQ8QpgGy+JHUINyvFB
KPcUksV7K30O/KY1imOF+I91/NmdhUyexoTL0KcZAlUaR98RphUM2oI2V93W2bm2
TWbBkhriymKD1YX/dNataXR8RbEFMjd/QkoON96Qox6AxHw+7fI=
=tJd2
-----END PGP SIGNATURE-----
