-----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 Uploaders: Julien Puydt 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 , libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev , libfileutils-ocaml-dev , 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-----