-----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-1build2 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, 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 74c3dd9b18503b50f7ac2dece57e7017426a4ebd 5260 elpi_2.0.7-1build2.debian.tar.xz Checksums-Sha256: 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz 74888b29d870e8094ec2ae2697b9d470dac5602585984a4549fe8cd347a8a848 5260 elpi_2.0.7-1build2.debian.tar.xz Files: af1ea7c67d8e5e5bd242d9fbfe733686 2642553 elpi_2.0.7.orig.tar.gz af7d84c479e499f500cd20aef6720bc8 5260 elpi_2.0.7-1build2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0My4ACgkQ808JdE6f XdkvSxAAmHeMKA3fOoP5SM+aJDFsNnZFB+HujA16hkHV3o7uvqq40HvYmovrr4Xw IinJtu2IO1kkR+AUQXlpWigSzD+3KN1lcMEqVEzABLnUY4bfKWb3iSUI7me4O72v j6f9+Yi8W/EUudNS069HTtn0SQSI5A0cQcj/bB/6ax93rTqS+3Xd/K/JrC05WfDj IsUTHyaL8xHBAAvsUOdx39hNwyYwlZ3YW6XzWzRmbF04GDu16ckxWMZ2knlxxFt7 GIHXP+0GprciMugOCZQVFpM15blSMRjajTi1/qs97TOhwgYCtbAiklaa/TN4AEo+ zkaqAHO839gqMuGBkFJEiEM/InsV16PINZ1Qssj+DGXzdzI1XR49fSqWoSuDuDcZ xatnKCO106gn+/67Zd01X6cDX3LU4df4ag/llRjDAPohlf3ytth/y7pCy0CzZmmI 42DYBAHuMzT1oBMp+AIwV8SLlhcedTaZtGJg/tQlNFzNau1xUVO9C08F7dG2opyT nl18DPPFaEKhQzUjWkcx8VT3ebPQ2RWV9dMbnHXOBUbyZI5255pyt/yjckdhBxKM uDFu0GvqNWyoXB+9TuMSRMu4tiBDQlUE9fC1Z4jtg5fmXANZrW1DfYQk/xqLdCJK UBgu7/Flr9lFWc48V2vLEf9V+WKx8V3xoALRKzQppo4sSeR+zU4= =+j8i -----END PGP SIGNATURE-----