-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: any Version: 2.0.7-3build2 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), git, 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 (>= 0.36.0), 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: cd621f4e95daa8aa8423b3bc1944974d65e6d0ae 2642553 elpi_2.0.7.orig.tar.gz 72682eaa1facd33d632db55a51d1048a5ca884c9 6280 elpi_2.0.7-3build2.debian.tar.xz Checksums-Sha256: 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz f76e82bab100f7bc712119497d4b48ebcebf938794a64af80d35f12fe13c8213 6280 elpi_2.0.7-3build2.debian.tar.xz Files: af1ea7c67d8e5e5bd242d9fbfe733686 2642553 elpi_2.0.7.orig.tar.gz 9d96bd39890c14e0d54dfef5a9da2ad3 6280 elpi_2.0.7-3build2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5LVEACgkQ808JdE6f XdknQQ/+JIbTPpLDDEni8fq5ge6e1HzG+8qBM9t606W4OG2g76+OrTcKt3ZNqPrl oNF9lo37e/3UcujVi15qBqqcwl1qPjNTkreZZZpvPHp03A8ddSvAeC4QG26ltFvc snHUOSq7wXK1eZFM45vkmi7LTdkY600/IXj9YQqrBR2We92GZTAVCG0UOvvEetnt 0xWiLFd5xez39wglO1+CuQHmrkXBxTWN3mdXXMUG1P7DfXJDzSRiSCKx5FQRJB8i L8Onf0+X+EbE/pQ7tDqNtQpIRXW/BRF+668HGFtIeSCIjzfN/LcYa1MXOiEcFShO nmMNQ4Q1iWxX8FOthUhXFqbXBdTrY1MPErqMXoJ3OXoClEUFKDj5X8t89p5l4Qz8 qExm+KMify37qPBHaVWX0VD4vl+wCbYsULbbZ6a5BFtXSmpnFPk2HiWI3AZOXzSC U5RteKdG0kM5omjjRzIUwtOalOLYJfnJy5PbTFx/ygZliJVbObZAuDnOZZOhwxn+ ksLpWfudUEN/mGtePM1B+iYATL7lhNakm5iLQdAG2g4dhYy7pcfs7cBEcft+Pe+a UQtE+DXPvBi0loVzHlfa3MxR4dIP/bs4NbDTQY2fdA7cP2oDqr4AAKX29Dt+xuwT dW6HAqTxET8oJNwD8Bxb5VWbt27cwOpDMq3ri8hZ/7elmwqZYKk= =0UA4 -----END PGP SIGNATURE-----