-----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 <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
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 <!nocheck>, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev <!nocheck>, 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-----
