-----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-2 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 caafe4d1350e4274b10d729fb31175be7bab1c45 5716 elpi_2.0.7-2.debian.tar.xz Checksums-Sha256: 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz 309cddc2b4f81703b8b876dfae05d9bc72cf61ad4016055530be3cbb9847d07b 5716 elpi_2.0.7-2.debian.tar.xz Files: af1ea7c67d8e5e5bd242d9fbfe733686 2642553 elpi_2.0.7.orig.tar.gz bdef133b28d0707a22eccbc1289193c8 5716 elpi_2.0.7-2.debian.tar.xz Dgit: e71e51f16da0f23f825ffe7d573715405b63417d debian archive/debian/2.0.7-2 https://git.dgit.debian.org/elpi -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmjCzqISHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBwQ8H/01xcZ7up55qoOKLEEAXFsQ/jH/Ilav1 Eb43gASg69m+yZhrVcU0KCb5AwSa+cqMVeBF33fAtBOLSA/+wHVcdz+TlcRB9+yw pKNEzdSZF+H/SWRAwh+35lQvl7ALiX0KWRr6Ob7A+eMe3+rmKySUikWpgZMqS3/T pkiwQkMdPsX2zCBv5ScgiugzVcolNwrAbty4U/hf76EDPzfV1HeiFTorym7nj50H EFkIefVvYmHCgME0BGrXSIZBNNOUNNgHmpNH0jCO6jca6gfQo/ENRqDsm+syavUg vbA4zhqzoDDfLBWzhYbuzfX5GsipkE4EMPRT6ybANvBZLYeaK82qqnU= =rOa4 -----END PGP SIGNATURE-----