-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: any Version: 2.0.5-1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/LPCIC/elpi Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git Testsuite: autopkgtest Testsuite-Triggers: ocaml-dune 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 , libfileutils-ocaml-dev , libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, libre-ocaml-dev, lua5.1, menhir, ocaml-native-compilers, ocaml-dune, time, yojson-tools 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: 83beb31ee00664639715368854ac2e9eba94022b 2639665 elpi_2.0.5.orig.tar.gz 4da181e7e3df9975aea101242b6d5fb220538f21 4732 elpi_2.0.5-1.debian.tar.xz Checksums-Sha256: 387308e34a69f68b04383a59ba67eae1d3ae905b0e6bffbdb24f29e55b632a18 2639665 elpi_2.0.5.orig.tar.gz 0bc941b43eef05037c4e163e62b459faf7679666845e6c091084eefcff308f60 4732 elpi_2.0.5-1.debian.tar.xz Files: 532a0cbbeaa4d51a7aa0911a424d8336 2639665 elpi_2.0.5.orig.tar.gz 8bd99f1057edecf6f76aef96a3539b88 4732 elpi_2.0.5-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8FIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSoZD/4mcODE6BsPiMa3w8KW56cJ ld6veL5gROmFk1Sk38kqxQoPHZ6XBtaFjmPcOfgD1Y/I+81P0Njm5mjtL7CfT+CW sZc7pop185SzHaSMHKg4KcDo8bPenNEdKjmio3QrewpUuJI72ZfkKp/3HUIlS7aV aQxFEoaoLRFBrfaWqf4nfCm84H4rFYq1Y416gAqTOpaY+yxuihHrTC9rKmM4vuEL tS4n35sdiDbuQJpi5OPamOXCZtC5PkcxlOmh5JRNdlflyPsgOXY0+uNYTi0eJ3vQ StabE02X0c8AHkYfq+NwqnOQkkEuK7hvX0xC4fOzrEuxb9ie05lw5xhZZUVYg+t3 JiTafyrdFP1c+GO4qWog1SM7lDhNe0KbRHn+FDKow35pE7h6GRA8IQ18YelgOlp1 UsXNitbyaty2th09zz+fU1UGLzqYNCDqXVI3QBj3CX/QrVB4gobxNXNPNZkUgojk TmcxCavULnHJ7nioPgJsDdef8xJFzc1zMkxiq2QH+u/WMYLpaNkLe4feN3+AVyJP UEffJrmGtxZycSRPnl/uWLSsSHpVPUJ0cWi679387ORsv4U1ioamyzEXQBLONQOA fn5hd8AyLsJROera6Hs9RPKVYqp7ACHIoA3uVvkGJqrIXgcpOLzqjN8PgSmkWSFD z8hIV0FWjCN5Xq+vM9alIw== =eg3D -----END PGP SIGNATURE-----