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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 0.8.2ubuntu4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: https://ben.debian.net
Standards-Version: 4.0.0
Vcs-Browser: https://code.launchpad.net/~ubuntu-transition-trackers/ubuntu-transition-tracker/ben
Vcs-Bzr: http://bazaar.launchpad.net/~ubuntu-transition-trackers/ubuntu-transition-tracker/ben
Build-Depends: debhelper (>= 10), dh-ocaml (>= 0.9.6~), graphviz, ocaml-findlib, ocamlbuild, menhir, libpcre-ocaml-dev, libocamlnet-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, ocaml-nox (>= 4.03~), 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:
 7fe76aef0aae69ec58fc8f36f5cdfea607434d47 64404 ben_0.8.2ubuntu4.tar.xz
Checksums-Sha256:
 bf204cc6d5a3bdb849ca92df78c7079915db4619c859991cff725911fe9f35bb 64404 ben_0.8.2ubuntu4.tar.xz
Files:
 d3eeca3667356bdab056516f7bf83f5c 64404 ben_0.8.2ubuntu4.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAlxRz/4ACgkQ808JdE6f
XdlDKQ//b/O090ulhoQWs2Cwgjx8U7Gwldudv4/rnyzK3z0+718wItdntjDARHnK
WH1kxkLe0hR+D2c5PRmOEqNqK2Z5jG491963VNiNkMXScBxkLnhDxAUzBmSgqINo
ZA/TKsKKNwGo4FYjSc42ruPwjqFrX1vyLxdGCj0Ai/tkxVC5Fp1fTWFB7nH2vYqj
cwNVVQkAYohZxUkv9Z5W4rjuLlMBgPQHMpChgwOXvZwLzTdHwgo4y2Jzmq/fQqAN
wysPk2f/lxINFrudtfyWvGbaA+D1rzLHX8WUE2MhyqQUvhfn8hdRVw/7r5F+u1Aq
LoNJtVSXR2EAPQAhqY8I6XiE9viBWx3lBqOGGgGR1AZxRikKX6vkBDGSLAfHBMwR
7p0aCzopGvDuCjdIkN5JdlRi0UN0cMVPKuODswRF2/VHRKICIowS/b42MAD8Vf6z
MRilPMOoIn4ndp19JzOK0bsnkka1m6TEHmq2hmQGT8P49J1WSz7TeLNTrEcfpppH
HxsChvX998a3mcRh/FGtK6x91kN5swtlkHiipY2uYXF4invwiI3u+V0ILHROH85P
HNN3QZ9oneLf2b2TZGX4+U+MoV2FQcn32m8NTY4pWhfTzvO+AY1rC61KhEll7wVY
R4D5Ue11ZNnMkY3LkfA6Hr/VUYVBarzKhUMzD+OdPE+Xhm0SSQs=
=YbRM
-----END PGP SIGNATURE-----