-----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-3 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 e55426649a0a0ce2ce4d8af9e4307926e565849a 6196 elpi_2.0.7-3.debian.tar.xz Checksums-Sha256: 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz c0744eeb255a20dca411eb8219c5215631bba0c1c72512a9631816aade5ff431 6196 elpi_2.0.7-3.debian.tar.xz Files: af1ea7c67d8e5e5bd242d9fbfe733686 2642553 elpi_2.0.7.orig.tar.gz 05fbc839bf2b02cedb8c3bf0429e7a86 6196 elpi_2.0.7-3.debian.tar.xz Dgit: 12a8ca7835b32aa4fb01578892a5e80205e0043b debian archive/debian/2.0.7-3 https://git.dgit.debian.org/elpi -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmlQqKESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB+SQIAKrScBf5+K6eI/auZBAV53TmJ8joghHl AVXBpuK8PqHc2hcQTa25IE7JoYolYqlreQhm7Jr9u94FuD+iAQh47o7qIgt+x+EL Kx7SWXxma217+qYdnPBQtyh9zwxdFCX6u2aKMF41x+xIGuglGPnB73rVIY7LGejb v0/x4dXSw9uLgfHa5w1TxfK6DfbSQZioc7nl8xSukxopKacldCwQYffJwUDTaetU Uv3BViJlN/jsL8gRuoXhvvMuA5nZo2sFuOMR7YwOam34o9gBWTxB4ysE7HdEehUj 8uZAcBiM/TiqdW+fRVAN8ojfBNKtVyOWsvpAytOGqNY7pQrkX58KHbw= =J9vu -----END PGP SIGNATURE-----