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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 0.7.0
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: http://ben.debian.net
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=collab-maint/ben.git
Vcs-Git: git://anonscm.debian.org/collab-maint/ben.git
Build-Depends: debhelper (>= 8), dh-ocaml (>= 0.9.6~), graphviz, ocaml-findlib, menhir, libpcre-ocaml-dev, libocamlnet-ocaml-dev, libocamlgraph-ocaml-dev, libfileutils-ocaml-dev, libtyxml-ocaml-dev (>= 2.1-1~), libpostgresql-ocaml-dev, libparmap-ocaml-dev, libre-ocaml-dev, libextlib-ocaml-dev, ocaml-nox (>= 3.11.1-3~), asciidoc, docbook-xml, docbook-xsl, libxml2-utils, xsltproc, source-highlight
Package-List:
 ben deb ocaml optional arch=any
 libben-ocaml deb ocaml optional arch=any
 libben-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 fa14032ab77e1da465a379c70365bcfa9ce955eb 63580 ben_0.7.0.tar.xz
Checksums-Sha256:
 8148177b43866bb4b93f3f7727c36d2ab83ba98ad1baaabd0de14fbb35a55af3 63580 ben_0.7.0.tar.xz
Files:
 d3ebde8868395fbfb4ec1ba5f4b20f09 63580 ben_0.7.0.tar.xz

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

iQIcBAEBCAAGBQJUS7EcAAoJEDO+GgqMLtj/iqcQAJhnYv0PR7jdvQaAnTowHO0I
lf39S8zrFa5owYku9z4ua5bnaNRNjw6WRDBAx3HsvKyV7v3ZanjK5nqp/9QUgL5q
ABwJT/NmF+lmgxHoxNbljWgqHHnCBAhus5z1j+1Vmq7FrMEW79NrMmT0b1aQAImW
midu8Tuz3LraZQ6e05ghq/7jLo5mcDh+0mxMomtlo09zJE2PAxPY8oUT5MUVL9Gm
tVVyyNAGJ0GECHCg5IVWaRrigUqI192c7OgWAtaIGLFNOPlTIg+Co53xDZuf3/yQ
WAy9IM7nmiGUker1NC4XEsTQBJmtNJFOvgS5fX6PASw+A+tq7g4tu1zDFwwNZFHp
pjAzHx3XCX3o+Gyit4VfRIfqLs2ATS8cD3XPbIzU7ASQWNlCGVG0fbElBNCGH+Fn
A3YUyRp60RQmT2N7YSHyC/v+RzqQK6oHv9PK7Ub0+dEz+R9kV+zm2QP3dUd8kZon
X5AscvLGqfgxy5hFi4OK8dZ/sq+e+MFIuZQ/DfsSU1En3914eIyqwUtBinvjwNC7
5jdFiEmW70kSnBZx1y1EN/DzoDr2g0aVyqrSjuKZBcfLb9M9DeVEq7V8Fm7A8VwI
fG5n8Nk6clv0wySOGPBGjO1yHMpRwICbJcS+vnhhLHe8N/KZ5cluriz2qDl3yV6+
sTqMHMPxJaZxw2Nw5XAi
=yXqi
-----END PGP SIGNATURE-----
