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

Format: 3.0 (quilt)
Source: elpi
Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi
Architecture: any
Version: 1.16.7-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.6.1
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, gnuplot, 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:
 83bc9ea829dd40b46e11c7da11e876ad1821c11f 2624581 elpi_1.16.7.orig.tar.gz
 72bd45e6e61f1ffead808ef766d53b412c329c1c 101812 elpi_1.16.7-1.debian.tar.xz
Checksums-Sha256:
 b791e479286e82ec19032db7107c531114390ead9bcbe7c9d7dd426e98c7c984 2624581 elpi_1.16.7.orig.tar.gz
 73a076a116be6cf4ac18b82c13da37cb5525b50310eec3f2d1f4646d76757f24 101812 elpi_1.16.7-1.debian.tar.xz
Files:
 beb4369843c4373ff45d431e9b4f8260 2624581 elpi_1.16.7.orig.tar.gz
 81539271013a6ce1396159ce7aaa4578 101812 elpi_1.16.7-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNWeXcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRo2QP/jNbWjBXq+AiC5khX+288bkJRIyn5ELR
uvMTOv/R3VFIIltY2gYWSu6nWfR/XaDrzZ8oIKXzC7bklEfrgmqWLrOn5hh1bYU8
rDCoLQiGX8kxm+gJauQ5vtVAsA1ZqeEx9ed7PQsVlzfun4Z6gQwUjwsGBk3LvUN3
IbNgz7z4jZC+VzsSQh+7LCkj1FQdvZl9fckNhVorwVPURGcU4FAYSHqEP9+EF3Zl
GXu0CIBFeupxt5eHFgOBCZKb2KLvhvvHrPgbbtyR1gpg/yzZ0fqnjiZxtUTSeNbY
Wv1Bn/x55lQboK6xAnTqay2hoV5Si8LdkQIOLd87euLKXvLKtzGulbEzBbIoxbTF
T6hOSYDtGcBx0ayYbz8kYGR3pQmsKl6z+Tzyvmzfmwi51e+mtn81yQwRznKVmLnV
RCddAKeJWlyNNd7Z8rTyrPy+UJ1pszZ9JbKUodK3NZa6m5rfJknUs2aTcV0sPYuh
5UPZ2rYe5fCoZNOHaBJeLhjP0708p6BsDXw+o3wCPa22zufcbPQWdgu6dTtC5ZHJ
Gf4qunlWtXVlL92UKz8EweNqH7pU95Jcfix2fFpAKWMhVFciNbQPsZtHQfIuQPQe
Owjtc9dJRVwWtmii9A5lEgFai399Yw0UIzSUZ/F5CdButtpORdGuSbqKqv5cW83j
vRL2oTKS4+l4
=j6O+
-----END PGP SIGNATURE-----