-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: elpi Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi Architecture: any Version: 1.17.4-3build1 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 208ca356ae547ca587c826fc7f40fee7967d8819 4568 elpi_1.17.4-3build1.debian.tar.xz Checksums-Sha256: 1f47073fdf2fe2aa55f51a8dc63b667c8413bc86090b85268811ba13e9583d9d 2609080 elpi_1.17.4.orig.tar.gz 2008cb89b6ca938cfdef06cd897d2f34dd50469909d7bc26a0161f8bc285550a 4568 elpi_1.17.4-3build1.debian.tar.xz Files: 3e6f4a6c238348e95cb9b9b95b4dcdbf 2609080 elpi_1.17.4.orig.tar.gz 8ce165e4b6e0e50ad60ac20d84a0120a 4568 elpi_1.17.4-3build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/F0ACgkQ808JdE6f Xdn39hAA1u9RMXW+6JTGZL5jo3njvkPZuaRUQ9aWxwfN3ClwFZZ/L87IYJsJcG37 GvSSBmzrMc5IjGrtSIlNCc19yVoorfehFkG/ALiXGBT+XTvumNT1n9d5g+UKJNzq E1z1l7RWmhbkl6FJdcigudiNvUL5/w8sHyYPfEqqYsYUJ+H5rsrJC9DoAe/W7otf iKQefWFi/mvRZzNRJto1gWvTl5FnxUPLC0tOfT+BpkDELierc/d/RLL6XLF0GQB9 KyJ5mYsE05pgZr8oRVU5ibQBLw8LcAabhaPC3DCROkfwvBoAZOc4q6IoDtkzo7pW 6WYyQlljBH1NB/64+XcDEggDdkpYslcXzvujyEcCMyHZvjwppOqxv6nlYw/6COiR F4Dnk+/unxloDcEs3HRuUPQqKS3/gWRv4TGo7FlCEJEWMviLpBR1mUv2xtDxewyh 9djcrLNSLu516i5rFS6K/OGkHEl2tdvW8bxrGa2bMmgihLVd0Z+zPaWh0jzGEGf1 0/YxfmMh94lM4glf8oaZ8XSquWxARlAp39oWzeNabYvCzpVxqeR/GsFq+V0dq3pj YLHip0RmBGvZyMhyzGSRjBX6Upqq3OphjAUsnvbmnMuMP+vzDKBTYKWoMHLlCb9D 0Sa9jnYvM8yVUhQMtZ9cFQKci8kPBOcjYMVlW8IjndNP9i/8TtQ= =+Oyw -----END PGP SIGNATURE-----