-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 Version: 1.16.8-1build2 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/LPCIC/elpi Standards-Version: 4.6.1 Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml, gnuplot, 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-dune, time Package-List: elpi deb ocaml optional arch=amd64,arm64,i386,ppc64el,ppc64,riscv64,sh4 libelpi-ocaml deb ocaml optional arch=amd64,arm64,i386,ppc64el,ppc64,riscv64,sh4 libelpi-ocaml-dev deb ocaml optional arch=amd64,arm64,i386,ppc64el,ppc64,riscv64,sh4 Checksums-Sha1: fac174f5494b57d3ecee852f2268ac4229c762c4 2601311 elpi_1.16.8.orig.tar.gz 23db539f6a6b88398122e82b2b0cd2cd0820bd18 4204 elpi_1.16.8-1build2.debian.tar.xz Checksums-Sha256: 407554ad82be468435df90211db5ff9f9a60d1559ab6e9d672ee422a9fc07c7f 2601311 elpi_1.16.8.orig.tar.gz 28ae3df83015e129962c7208d056acb921892b6956cd554af226033527d1c4c8 4204 elpi_1.16.8-1build2.debian.tar.xz Files: 40d9346be40acb470af26eac7c7c31ac 2601311 elpi_1.16.8.orig.tar.gz 96a744dc0bf134209e6cc5df348d99a6 4204 elpi_1.16.8-1build2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPus/sACgkQ808JdE6f Xdm5Fg//W/R3ugYr/mPFeo85JWsioe5/kzLenYSRWrqwsARR6jT2VyLvD3i07IZF 1BXIMM+QsrCkrEumf5VF5cjyIsYsHwSWQACl518NMn8JSWbTEmYKftD6J3d1+JKr 8/gtYZ31PJjLIO0wB7Ri1mtwoZmYKjWl7jpM32KJXIA8GVRQqmQd6Seh9E2y4jhc +Uzhazc+NJe3FxdrXTKHd0oll3fCPHJd3RHByVRElXzIblZhklHM3rW6MqyaCZ8a 7T1mXky5/qkS3sgGPN9a6BvDSRGuOWtPZiltOTv9O694z0aAq7sNOjXuTpa8RUS4 JCXk6a1sknIOwDJzGvAROe00aQThRWMFb0jn/JnAq69+xe1bRDzAdoC6v0qHT9Lj +IqFIR4MTzxJvi0P8qj9aJELCqc7r5xgcvNQ0h4s6R6QEE6Dk1GDEueNTeXhpDWq SteBcZ6y8WAYDju6gOE+oHnT2lun27hh8QUJvSoMx+te/GS1jR0dEcQmVxkMfhZt NChv4ED1+pwER3MTibhfxaS+7LbQ0iRFhC0zFXsg+mgCIFz6800J89HL8X/FnjkS FK4rOFfGtcOCiRbUEyLtVgNkOcaGQDBDbeZMjY00seIEF2n3JXMRIGf+kt8/dl5E PokGc88vrJe+/G892cjRnn4/RbgZFKZN8/FFm6wDe0MXFeWAENc= =e5nl -----END PGP SIGNATURE-----