-----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-3build3
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 (>= 0.36.0), 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
 f48f59604aeb01ca9bbc26cd6918057abb8e28c9 6328 elpi_2.0.7-3build3.debian.tar.xz
Checksums-Sha256:
 1bcd544a6643abba63e5c92b4163ac9c37156a50510c7b121247ae213a3f5cb9 2642553 elpi_2.0.7.orig.tar.gz
 fa670c5167a0fb6ea5dd5f569b785207080d9c5adb0758d7ea99b3558e7ae7cb 6328 elpi_2.0.7-3build3.debian.tar.xz
Files:
 af1ea7c67d8e5e5bd242d9fbfe733686 2642553 elpi_2.0.7.orig.tar.gz
 8122aea79c480d92a6dfc8f68321f690 6328 elpi_2.0.7-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmjRaoACgkQWWH9vpxh
mAmL6A/+KjMUC9nmXsyuki7fTVTiYnTCQhe5q2Dy/HPz1RABMf8ZfO2WDLKftFx2
20ZpBWfl0zqAde0xURbzqIYUqvTLcLHZy9aGEimEU3xsNMfE8DAxoVwxOFiTC50T
4vzHVfJh7htI5vLorttQmWX/x4UuCwOnlnQmiqm6pwYZ5FCw4xhT5mxAh0XcUJU2
odbcxeGpNsMi8p/cf2DZwmqWHYnQeIpN7gcDUZmJ5GjdmzLa1/Ylki7yBmXIqSwO
JfcqPjyheTb3UaypP48v3kFDNplnoHFKZpO0tV7uJk1m3PqkvaZHqA1yAkweRBeQ
0xwdbaICfs9l7YQ122ldKo/BV7R5B7EFbcpfbGtCVaLibwmhafSwoOJaYCN9Wrjg
rdyS7uItrzn8359fxSOg5yIbuuxhmUjpLZvLP3YWay97K7ERdcy++IXfgxf3O4VE
3XeBMnzCH9//6fJDVW/4WsJZ2XX+7Dgv/IL81qkB5JTYF5zWxL3iE0Cgi/8VJqvr
51ZnANiKGmnmfEGvqClzld2nArwuGKMYEpoQyeQc7M1btObTjth1FIP89ns6OtYd
gn6mOyTvKihXdYdwUikAS/nlyyRW68NRgmsYmZEP3FnNCYNGuW4QK63KmK3Ju2Nf
nla6E4c+hwhhTfgy2LL/KgvPD+t595+oftfc1zRaJA5vp/Nz9zw=
=o9e0
-----END PGP SIGNATURE-----