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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 1.7ubuntu4
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:
 c40e8aa668ca4ce64241696beebd6c25c45d5cd4 82180 ben_1.7ubuntu4.tar.xz
Checksums-Sha256:
 564e4f1c4316f323d51fdbaf06d79a57e74c212800038490fffe99da1d7a7a11 82180 ben_1.7ubuntu4.tar.xz
Files:
 55945907a94af357f53e4f017c7f8b2e 82180 ben_1.7ubuntu4.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbpeK8ACgkQ808JdE6f
XdkzpBAAy/A+zDV1xC5wvEU53WbAnw0p82oXD9t8VsCLfdCv7qfSmtWmFQ0YZCP0
jQZJ2H3aQv1mmUn4tP69kLgLyQrYpgyrh1hvvlnLYhabQbuGjBmN5mCYn4UFOqdc
Fcc1lwfe3yddy08gXFvDQIDP0KpPWmQUo7+JhnABX5vRdz+EU5S46ulr/1HgSgoN
hbn1pPN6nzcvymoV+HPhuP3G/HMxVVtr9e05+DdcrIq7sp1OhmKm5Z19+fDBawvD
GgI+7+4HL3QubHwDeySUtt/skI6548O1KCHzzkIoFKr92qm1T0rrjvs6afevL7AO
uXraoRr8LtltA2qzgtQ0w/NuM4vZZqijCSdUL78zLI9idB6MAQlzMZ9EyUkYQn+1
rZR0sk4sDTEAUpkhdXdXDpVVxUtcd2+vMAY1vqmCZerTRlN70qB/oOZtGDMqCTJ9
n2lSGWNZALzYOGo0zS8dAj3C/xaLt//HuUXhoVqPdVhBMfJ4CaGeaPMmgrgXVn6x
mpJoBNnIEBXm6XWItT9JxKgZWFwPFK6eJ5uXuB8cjMojXrDCsi/KtKIIWKDYkkX0
2poCS0WT3x7O5Z8aKgGigUcb7PtPcaF731VV0r1GQY378DLldE26DLb597nz2DIQ
bndGd1THEQyoznLa89PWrr61yc9pKzmV5Cs8D7owSkGxcoyIZD4=
=Q3ra
-----END PGP SIGNATURE-----