-----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.17.0-1build4 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 e2b09c2614613a0f0df58ee7c9bd1aa790a620f3 4364 elpi_1.17.0-1build4.debian.tar.xz Checksums-Sha256: bd3267efa6b8d970648ad4cdc7f3bff12e2fb29f95c97bd43f83cae6bb30c672 2607106 elpi_1.17.0.orig.tar.gz 9fa3dd87ad957506124175e35a7f99f161ad68cc7401ce4bfea2ed7e3fd8866f 4364 elpi_1.17.0-1build4.debian.tar.xz Files: e1ccb87b9d37b24a720dec2429cf269b 2607106 elpi_1.17.0.orig.tar.gz d594f65a0db4799ea9666cf239b0a649 4364 elpi_1.17.0-1build4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTspf0ACgkQ808JdE6f Xdmalw//RzBnpP7/Wvxdx76FylqVviMttNxUeQbiFicXFCeOdtvXK1SRyl0UyhAX qnRv01xdbZDVaXpiCX4SkQlHYmsr/QSvCYgmJBcHXb1Yacd1NuAaemiV/6BpxLRn sl/pmO9Lj0QsWFRqkMH8x8RWdb9nnbFG9rO5+c6jgl49wamrY2Z2oJAQ2Va7P2r5 dq62wYCZ7ATPjtwK0oVFxpUF9HhFiF/0FPNmWda5mARROixwhreIDbXGArIWfTrq CDeL8TYsqu6jJVzeNrDg18PBkiemSKIF0qZU+x4adqe6hv0IabemaIZu2TM+76eH Vv7JNrZ679A7YnUNeADpajOnkjSqqJYF3sHH5UZ3I/2tmgrgtfX9JhkAlZfhKwll f6Qne0Zq0smT7M7HLrXCRUjO6S8p3Fd203PMbBgJYqQzffi520ZCSos5cSeur52X RNxMy5jFfs9+SQfojm1DhkkXvlLIM/J32y7gUJzSHFSHgWct2nPIwuOzFDMYtvSP fGyyFKHh1vePLwcw87YDXpHKONLtaUSHAkaTQFaslMIezpAcL3q79zSB/oIeangC 6nfPGHb5SkNjD3kIpljwV9x6RnBhivDwqURzjcAYzA9OJmSOpjuTfCbuyF1hsVde CmiHqepVc515XnKsdjPBfSyzyGLhLBnWOgOZTtyjlQVf2ILQykM= =zOrD -----END PGP SIGNATURE-----