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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 0.6.1ubuntu2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: http://ben.debian.net
Standards-Version: 3.9.3
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 (>= 8), dh-ocaml (>= 0.9.6~), docbook-xsl, graphviz, ocaml-findlib, menhir, libpcre-ocaml-dev, libocamlgraph-ocaml-dev, libfileutils-ocaml-dev, libtyxml-ocaml-dev (>= 2.1-1~), libpostgresql-ocaml-dev, ocaml-nox (>= 3.11.1-3~), asciidoc, docbook-xml, libxml2-utils, xsltproc, source-highlight
Package-List: 
 ben deb ocaml optional
 libben-ocaml deb ocaml optional
 libben-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 46225f03e9cb5479b191392f7f86fb9a55f5dffc 62438 ben_0.6.1ubuntu2.tar.gz
Checksums-Sha256: 
 be10c6138dfed7abaeacc1055cc86c91f9755a3dcd1e0e44fc0c819b94c16081 62438 ben_0.6.1ubuntu2.tar.gz
Files: 
 d56792ca99c099cb623cf03a9d69dc6e 62438 ben_0.6.1ubuntu2.tar.gz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCAAGBQJP9KH4AAoJEONS1cUcUEHU/10P/0McNqdu2l9HNI/ZodZHNl6s
8Z1qWmCzezCCXKEErqgr4dgUgj77osVtIIr6izRoR9+bwMJ134jKHuuogtVT2Og5
gKEd/kzdN08DwTvtkybWlI5amOoZqVsmK5O7fQ9HEsKUrH7XMXoDvslQdG2Pl0fn
EO+f7e4JShGBVuH7U8TrSyrfUGy1I2oXmzX2R2F7J+2GM0SwglH5DZpMU1PrePCG
UxSKZavtFcUA81jwfoBM9mKjcPrMlEHTp1ADAjhhvOxI4lC9Y2WwvYckORyHpBZm
oIS1dpLL85daNxr/2kjaTnZxhFfINi2n2tHLaaEqhy+7lE8xxUQ/wmkyxE2KBdfB
QrMTZnHV8/iMfGQhJCDOU6cGASOrgoLgGnJr/asAvnGd6/CIJpWbbI9wfZlWgDOI
KBF/dL6iX0Puux1a8yeZoDmUZi2m7SLJMDhE1P0Z8tYgVpBhzXaMJhsKMkPg1RiR
Ta2GXdnAJs4BSdQUISGfu9rroE+vXsysu+pGMONw8eaD4pfkZvFsyQgXkgvqMSg0
S8hIVAXrLxNdJ7aNkcWmdIeIg0hWeBHolz+dp8Z/20uwxpJXsOmJfHgCWPA3Ju1b
HIMCx1oqb5vDqPIJq6yXBXc2fMGs979EnzuUm2fJv2RsFVxTC9vpSFYNNTlT8WN2
h6PRGs/IttYs7pzm6W3s
=Dhxq
-----END PGP SIGNATURE-----