-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 Version: 1.17.0-1 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 Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml, 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-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: d87a343a8bff5748c7c45565671fdcfc9994a271 2607106 elpi_1.17.0.orig.tar.gz 0e30a2796b4da35ce24fc1b24d8e049f52bcd5c6 4260 elpi_1.17.0-1.debian.tar.xz Checksums-Sha256: bd3267efa6b8d970648ad4cdc7f3bff12e2fb29f95c97bd43f83cae6bb30c672 2607106 elpi_1.17.0.orig.tar.gz f74d2af48ce459ce135fab90eda9d3a759f6d228388530af4571c3d5b0cbf1d9 4260 elpi_1.17.0-1.debian.tar.xz Files: e1ccb87b9d37b24a720dec2429cf269b 2607106 elpi_1.17.0.orig.tar.gz 7904eb3837a861d310137912f1e38a8f 4260 elpi_1.17.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmS/sFcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRxogQAJuzLz5K9czlzicawXXv3Vw/JWAdlJu1 bGexe61DdBpW9oB1HgBzl+p62+gOhcbapwXGND3xCFXG6tr10tkvvVuGWN/rti3T 2N8hdDaEHEztojLBkUSKGXVE+YVjPg94LBwDx0wH/CepfwfaL+11WZEJ0hAopnoD GTgfAPo/yjLM6gJAmgBijhD8AAcIbGxXiaBAVsJqIwlcN/cxoRhh3Q7cGK1J3IU2 SOXgulrE2NSzTLp+N8GO80HnNNnEszKzrMwzkpKAbmNAQoPngHNXgonMjCu62lcv 7TAziPtd9tc6cvbw3Q/r/VpYzKoQ3Dkns7eOLzjUrB1tPGMvzAjeVuKQLwxRWm8F 1PbiChOzFi/e3qSKFkBrFWliBlgKhbhLKkgBKPwdHHMYfs4jmBTZtzlCn3/9Z4ez qEOSzPU+yaPaRTHGbV6k5lLs25K7F97ZEI/3X6LF/R63Lpuo9Dl7SRdLiJKzOU1Y lug84qdQNxzHWlRggDlRe6q9rhC+RdYLXkn68NA62Uciof4g5A8W36Yj6LpdO9D2 LKnFEJz5Lx4RB6GpbSdo4AmYzaIO52oHymCWTBcOfZL5QgcC2qIdc0+jYGYWQRyv jBxjxrFDt0rBwRjyQcDSmLWvfOYga98NtgUAZw3XqgdNkPhrZSOiRB1GWyeeyZcJ avXAF0DqtUgI =ZdxF -----END PGP SIGNATURE-----