-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: any Version: 3.7.2-2 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/LPCIC/elpi Standards-Version: 4.7.4 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), libppx-optcomp-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: b9307c996d531cf75b8f7c4b666723bef164609f 2707427 elpi_3.7.2.orig.tar.gz 0c1f67686a2ffce66cab3990f4617c72c9d2729a 6168 elpi_3.7.2-2.debian.tar.xz Checksums-Sha256: 0f624e18d764905912dfc074df1f82aeb6deefc2c60c67a64defe8f5c821ac56 2707427 elpi_3.7.2.orig.tar.gz 21dcec92075d7f23050687c4de27372c3256d80cc290a3c59fd14a6292b31373 6168 elpi_3.7.2-2.debian.tar.xz Files: 3ceeb16c4649f4983aa1ee57e39c71bc 2707427 elpi_3.7.2.orig.tar.gz d02b6fd3f45b84073bf0ffe698d94203 6168 elpi_3.7.2-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpgky0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVciD/4yHKqCemUtdw6tZdiR421j gXMXB6V6NTcsC6iDDvo1j/eqAxg3jl+1yZWz34lrzugtg3Xn6AlL8Qej8SznwD5x aR48GICPK+TCsSCqr19zINRcdFNQDY+mFL32a7oiReqBgV4eQZfQnY23WcPzNoWW DVl4u7L3tKEtOtrf2YOolE5nNvGLuOyPkxQAC4X6oCwIRKHk1SvKnjL5aNGlsSRI oVM7qx1uFny35B3L1aqmmQSen3/50aHNsm7wZ8aJYwX6x06r1FNb28rkus0B07+W Wu27H8whPLOq2g01AAURO7MQpTjfgQBdhT6Jb+8JAiFTyQLY0taHPZb4nUoJTOf4 2WS66tm3CUoDRRsuK1QR0yKns4nkhyjsqL88b6dSC3b21jov9SJlSb2baVxjJukL pCEaN/WfBBCuJVwJOST0lDTfXDr/5vd3VNWelG5EdprABu5LCeIMAsrkjCxSF9m8 WkoQKbA0O5yn6gjZYzCLF4MtkDsw80G+o8268qRtWyHZwZlJUY1lfpBAJwFqJkey 1jGxjQWDIOymvTwmwz2PZqt7Cq6lS9+Jlsu8pefXayxc5LKOl6sC9nLEFnd6QAl7 5+Fu+FtfTWWwteXGoOkvKC9UJXXvxahohZ9Ll3cyXI7NRvRXnm3FTYy+WQ6JB1c6 XpyoIMdZSrSejOITu9N35g== =u372 -----END PGP SIGNATURE-----