-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4 Version: 1.18.2-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 (>= 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-dune, time Package-List: elpi deb ocaml optional arch=amd64,arm64,i386,loong64,ppc64el,ppc64,riscv64,sh4 libelpi-ocaml deb ocaml optional arch=amd64,arm64,i386,loong64,ppc64el,ppc64,riscv64,sh4 libelpi-ocaml-dev deb ocaml optional arch=amd64,arm64,i386,loong64,ppc64el,ppc64,riscv64,sh4 Checksums-Sha1: b43041ffdec814c3cc742485538447a4a4fd3eca 2630264 elpi_1.18.2.orig.tar.gz ded8851fda5fa166478db3a0cd4035b26ff9d036 4516 elpi_1.18.2-1.debian.tar.xz Checksums-Sha256: f955129965ba3e6e1b9fafe149e20fcbb42d353584072d8b385d67d9fd10e25e 2630264 elpi_1.18.2.orig.tar.gz cca11726a79a5fcd37521c6b832d3b6c4e57052bb861200bc8cb6561dce87139 4516 elpi_1.18.2-1.debian.tar.xz Files: e9bcaaf135735055f7d3205af5d43bf3 2630264 elpi_1.18.2.orig.tar.gz a4b474e735082cc2d52c2e0eaac3f0e3 4516 elpi_1.18.2-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHyf4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVr0P/jN9pNmypW2ZFOPFyXFDMGmGtc3o9QpC MIpK9O5xfZQgVRRCWolP23zaZSgDAVqiFPtmlkHEE4OtyNKBeBIPjClxYi7Y2z5t eIM3dkRCpidpIdmD3dR0teOLBpoGMklgISFSZToilpEqOM1GjRjcU6ee/+0Af6zK CNf3rNqd849Uj3ymx5cnE92Lg3sG8qAqbdG23LVJGnHxlsSJhac6UPL2OlJnucFk o+9PN5++1LlmochGBzfYZrQ11DIE8WtsgS1RPfCMYqcLzQpHyxiQmO2SEYm2bXJD axfj2iR1XugxHZkqHmSZN371SYojSEc73W9nP/mlai0/ldlsMjcn2MiR2X9vkarf rhYkV/B/4H+3omzQpBKI7dTVO5DzcmLj36Z33W5KRplI9QjS6JRFzC8mpedi+Tmg zMu6YJVl3UWXmp++PAUOx+OPxntr4qPKEkY4e18RHaFDLzgo3TzZ5ErWFSxw+CM+ f9QMEKghLu25xwI8SzxjZ4lWRebcOzolYy4gtRfBmKxK/rOKnLZb/dElEzbvn7Ce 6ET/YhHgAy+YUUxghvKx5i0NM74Rhql3KvsMCnRrUx3X25PjvO4L2OXSfxsURAFj 9I9YA3fdGJU2cIKYOZXV2M/YMcZHvWnHfuhAuIhP5cmZ77Y7XTxNyYdcXFxhG9AH +OY64Vw7Yw+g =drJQ -----END PGP SIGNATURE-----