-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: elpi
Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi
Architecture: any
Version: 3.4.2-1
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.7.2
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 <!nocheck>, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev <!nocheck>, libfileutils-ocaml-dev <!nocheck>, 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:
 b7a276e9fcd94b1057ebf4992e0a434431733683 2694755 elpi_3.4.2.orig.tar.gz
 9edc36223e15b9731773c6e76ca8a62d185a31e6 5168 elpi_3.4.2-1.debian.tar.xz
Checksums-Sha256:
 64ee2b42efb08d2d947a871c16d2bd0ff889240410a03b452bff93e92dc5e430 2694755 elpi_3.4.2.orig.tar.gz
 b224bd9a02b6f1c7b0020e903799539a3cd9a57b822b23b8c0b5511d82988a9d 5168 elpi_3.4.2-1.debian.tar.xz
Files:
 360125e688bd78b1b9ebe76da460e408 2694755 elpi_3.4.2.orig.tar.gz
 c8b4bf84bc9c0f7e83afa0294164b56a 5168 elpi_3.4.2-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBUa0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaFcEACGH34feS6JkYAjPWWB71R9
3l63Ca+zENseKEtotqQmcVVUtKiitRt/NThm48biXPoIehW+VtdFFqifB3JalUNm
y5zCMxLVgOO0tKxybV8AvpaTDz5McC9XWut+iq5mU96TMv2inpHuKMn0xwyIRZEb
F129O2eDndZrVz6awYyCIFrS+u9/kLI35SuQyIgdug7zGopYdKe/rWUGIoPI8E3B
CNSBmjUGswJXI++7La6FIR/zD5V8vSMajGFHonXJE/qgxStXBro8pE7M3CU3b5/f
yODLtllWk/+wE6pn4S1tThNWKfb80c67fOOZ2JE4O0hnXAejhUqgIT6rRdoJbTfZ
WRRn0kmDFIi+CcI9XIyEjXtsgADjGQieB53xqK+yWDXYGIoDPAwkG2w4ZG154QrU
fsb4od/Rq0kxU+1U0kfze/wcPL406RRMhk8OoybNHQFwtbXN2gqd5s6qUr+SEGS8
wZH689BW8bjOqY1rENP76ksCBLEXgCgi1tzys2aGle9qZRkiIV7VskmiiQPa4heL
BP5R7RTvOj0znySvyolGlbZ0ed/Q3KTvtrrrV6OYjmHJ+eufodsqXh/g5V74M9Th
18MHqDurYA1FNmE2wmIfB8UdEtBdilRj7NTTzEMn/0VwJYSNvlFwew3XY9uOy5dy
nfpNTw/5E177HChRJaceGw==
=73vO
-----END PGP SIGNATURE-----
