-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: any Version: 1.17.4-3 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=any libelpi-ocaml deb ocaml optional arch=any libelpi-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: e30b805eefe3211fd113021b4da5cf9d4225548d 2609080 elpi_1.17.4.orig.tar.gz 0622028e778b040113c3ad3e5805a41c8c52344b 4508 elpi_1.17.4-3.debian.tar.xz Checksums-Sha256: 1f47073fdf2fe2aa55f51a8dc63b667c8413bc86090b85268811ba13e9583d9d 2609080 elpi_1.17.4.orig.tar.gz ddb7262f426a15f2d50d89309a60ad80a61df5f1e776c6cb07f28babc565245c 4508 elpi_1.17.4-3.debian.tar.xz Files: 3e6f4a6c238348e95cb9b9b95b4dcdbf 2609080 elpi_1.17.4.orig.tar.gz d045dacb4adf249b311e979ae9d50a56 4508 elpi_1.17.4-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWRr7USHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRwEMP/2Rt8bAinDMlBqtbY+IupnwUql9C+ys/ LLBoD7MsfycWkyCBFFHjwW1oN8AghX94SFXyBMw8WoaMTA0h41jKJDYJPRntZoMs 2/hOxND+kYolmvyFQO8kY9z22O8nzAb7wwO9Irnle2axghoyL51mhp6AvkTXBlNB T1TJPSboPlsQCdILt3eZhqXA21v0r0OB8jODhpQX/xnW2I1WA+mG0VTi+H+mTY7i 0RXdEWybktIbh9mUTlUJK8PzLyF7GPWLeXBf7n+jsVvFj1DtysrBWYZP2bPFmtpT KFE4h8uhRsoWIxfnfFS0zze/I7F7fD4MhlzzgGtobA/E7QRRxv2XYKvQ0KQi8pZY s/WeHY6FvGmE09kMVURuq+CrDOm6nEBde9xQu6Xkf9KhGPDFskL/S1jFeqM0qKDI aS5fbQP9VxlFp9rdi4rYuCgD0g+5pJDmzKuDUD3h7p7RTlZqH/Xye5R0QpiA1WjR 7G8NqOuBY1EDFYxofCgTFmrvHb8Gzm/H87zNWpEO7H1KrGtJfFU2bOrGZch0j5ha B7Q+bUGLBpE6Krx3i1lV4lqFuYAsbOC0NVyc+CS7+EYFouR6y1lsmI8a8VCEljw/ kIPg1MAhJRTb0lUIxuV9XTYeaQV7ebRa5e9npUp2egSrjFTDNFkEzGhVrgFk5eM7 yOUXG7QbYuJU =09ZJ -----END PGP SIGNATURE-----