-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 1.7ubuntu6
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: https://debian.pages.debian.net/ben/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/debian/ben
Vcs-Git: https://salsa.debian.org/debian/ben.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, ocaml-dune, ocaml-odoc, menhir, liburi-ocaml-dev, libocamlgraph-ocaml-dev, libfileutils-ocaml-dev, libtyxml-ocaml-dev (>= 4.1~), libpostgresql-ocaml-dev, libparmap-ocaml-dev, libre-ocaml-dev (>= 1.7.2~), libextlib-ocaml-dev, liblwt-ocaml-dev, ocaml, asciidoctor, docbook-xml, docbook-xsl, libxml2-utils, xsltproc, source-highlight
Package-List:
 ben deb devel optional arch=any
 libben-ocaml deb ocaml optional arch=any
 libben-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 d9fc797c9058b0b6b2f878a37d04f3a2c5c1d43b 82228 ben_1.7ubuntu6.tar.xz
Checksums-Sha256:
 0644b39dde9e8a55a851c44ad6810469e689c423677152718e12aa3fd85f0bed 82228 ben_1.7ubuntu6.tar.xz
Files:
 167671add9a6d10dc2dd68c33e9cbd6b 82228 ben_1.7ubuntu6.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmd2ynEACgkQ808JdE6f
Xdmtpg//ax0rr2G94JLKHm4KQQ/UW1HLaVg0e9xb8fjqbe3vXxw01SQqsdgtMMeh
KHYwhfkluAvwymLoq8enlhanIs22RY/lFWoZTsg5Q3Vs6WWS+fK2bT3RlVr5XmzW
qt/dZ5misBkEoenZ1QVy1SbrWbJyd9vld+SqfleNvgeCt9TvZkLhZXs0FVNsESKs
vDQ5JtRhMLEuNsbPmv9Wo7BllOhALinNirLvOy+vvGNNU9Ulj7kJVptfR1XO+g7P
rGFx6Ok/R7ffI3uYysHkdJp1SdFkxasbbX19oCm+bBA8QL9uJNQ7GQj+CwvY+uOs
FaTISMRi+bi9yKisv8ybNLjKUSvK/QqSzBAOvHwiI1+/egW3RzLzWepL6OcyyAp4
RIeYPWqQAWBx6z9h77NBtAPZeRMSz1bzc+fXc6hYmGorrSLHl/1frjHHNqSAqd21
tV0kRWkzSAHtGd2kMUCZoVdPZZfCCJViTvwXH1C4VadsblX/HTocGY7I9ckylYK/
sUzAfSOIOAp2UPYhkZK8xuFISFOTMUpy1RaAld+vdwX+IPorDuyC58ip2PAi6GYa
oOlE4zZ7fARSilzjjwa6g6GXNPI6LmJnZumQzBiCtT/lqrRVisKSqK0SONdiUvdd
DVGHaPmXNcAKI3G5g+II0lntaDiW+sEgNvnKkEGoyFe3mJ/7gMs=
=8RLW
-----END PGP SIGNATURE-----