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

Format: 3.0 (quilt)
Source: elpi
Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi
Architecture: any
Version: 2.0.7-1build1
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.0
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, 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:
 cd621f4e95daa8aa8423b3bc1944974d65e6d0ae 2642553 elpi_2.0.7.orig.tar.gz
 17b0ee2c91212bd7337bc1d6a03bb8d1e8d99e4a 5236 elpi_2.0.7-1build1.debian.tar.xz
Checksums-Sha256:
 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz
 5b71bbdc86788b4d85cb9f20049e82012cd14bf84c7a96893e41c91fb9b1b1b3 5236 elpi_2.0.7-1build1.debian.tar.xz
Files:
 af1ea7c67d8e5e5bd242d9fbfe733686 2642553 elpi_2.0.7.orig.tar.gz
 045692c77cf9b4cef08ab2534dd449a4 5236 elpi_2.0.7-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhT0v0ACgkQ808JdE6f
Xdkykg//Rp2tO/SIDhMViPrHUtSIr1FThFMwM0/j1SsFSETq0nnyVq9tqF/4gph/
5l5jFQQVPrBy7lYqhMVSluMfD9Fzl6V5KexEd1DmlNSn6e0GndmytAnx1dU0TH6S
sEPJ+h5YGIKlNvH1SjO8R+PQS9vw7Nl24dOQWXvN351cFFBTP+dtG9zC/MLJ1WQ5
vL3iK480lhUfQQyM42MlaUvF7F6wnk0XffV2rCEET3UZWoZF0glYx14VRJOH10sv
S9UcuLFGBEVJtmQRpiZpN7WmlhpZFVIjBXPNRYjWJEnBiViwZnz5GoSuK5zl6ur+
qGMdVVEyN2XwSlqgOHcoIMFHq8PDzxAn6i1ea/C5dUytcLwxlwqz9kONpBce1uHR
wXCwlrwxUBK9BOb5I1XkQ0rxSL+8rsrYb9BHd55osZzStaTETGDjj46AC1PeE2qa
BarJlqNR1LQ3xQ6hW1clBmP2Zq1DjMspVs5nb0nRNvJTDUyTxqnHuFD8IjnWDhmX
rPpv+J4XZ3vMSpREK6rr0EeBxZOWzj8sV45pUd222+3WFRPZHPqJU4himKxd08LI
r2dyEbFR54boTuZ2b1qoOWtB7CW2janTvLt9v1FJSMZuAQalwlqfSsGytEKzL10d
39bWc4JpiJKihKApH8ComFfNPHwb1YpOEPiBWACmm5cPfrPtvgs=
=PNbM
-----END PGP SIGNATURE-----
