-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: any Version: 1.18.2-5 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/LPCIC/elpi Standards-Version: 4.6.2 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), gnuplot-nox, libansi-terminal-ocaml-dev , libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev , libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, 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: b43041ffdec814c3cc742485538447a4a4fd3eca 2630264 elpi_1.18.2.orig.tar.gz 6c8762cda38f812e0fb6dea25d0d823238b297df 4880 elpi_1.18.2-5.debian.tar.xz Checksums-Sha256: f955129965ba3e6e1b9fafe149e20fcbb42d353584072d8b385d67d9fd10e25e 2630264 elpi_1.18.2.orig.tar.gz b455ca9290b9b4281500d63988be5fc2c34000805012abfa8695eebcf2859117 4880 elpi_1.18.2-5.debian.tar.xz Files: e9bcaaf135735055f7d3205af5d43bf3 2630264 elpi_1.18.2.orig.tar.gz c041ec4d8c17f7c543275ce3f4056166 4880 elpi_1.18.2-5.debian.tar.xz Dgit: 52e72405933ecad985d98c00fb8f1ec547f50096 debian archive/debian/1.18.2-5 https://git.dgit.debian.org/elpi -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAma3GNMSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBVdoIAItrczFXtqwGjH0bwyzAIYxeH5VFHIbE MSOE0Y6W4UUIPDgEoxYUnNLyeLjDKowKm8s2MQ5cPqeRjeA1+yvn8hYMnxIBmR9N mX7TFfXQ2CLhCzxORoym/bjHDxtwX4sTPOA5GeX13NXKCsojBHlWYu45VUTW7qre SDKa4kTcSrn/H+0K6uCDfa3FblpvKmJLnA2jwgZepImMe81yFuHbHsZwN6P5u93u +LnoSmNSFPY2bjsvfh8rA8cWY9JE169Ing3/yTQR5CJFbx+X/fzhoyEe3B+WG0CE 73fB/9fMDao68NrwPFshpnXlAwhAfTVIvdZc1gJO/jIiSHIvRB6+jp8= =NnVz -----END PGP SIGNATURE-----