-----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+deb8u1
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:
 cf12fba069678fb542d634e96840a342c18bf87e 63876 ben_0.7.0+deb8u1.tar.xz
Checksums-Sha256:
 b8b4b735b4b052a312099e5147e7ba38201b67ef6a466e11c7036e0ae3f94f6f 63876 ben_0.7.0+deb8u1.tar.xz
Files:
 7541c9f63fa32a07f9b0de62485a36ed 63876 ben_0.7.0+deb8u1.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWAGY6AAoJEDO+GgqMLtj/hgcQANUK2DDoPg8lZ1yfMrShmCTF
sVM1awCLy69oIEWnEqbR044haHy8gxM6N+Vmo7PUuncNLSODiqbexR0uUo4TzxYJ
sREoL2Hf0Gyz6SFshlkfSSGEMK93DUJLzl5FA2nQEkitj1ExQ258c5IyKVk2CW1G
O28T8tZSBaWIAqXfNqTQ8UALBpxzo9zqbahHBKvZPVgNngXJf+nHQJL4N7UH/2cX
pr3vxIcA6CFFjUPHiQQN/T9SXlZ/GIXzrjbN4VqGxt8RUaCZAF9nE2UyJ9CSSOV2
pId3nDoSF/Q2SJI8HMA/3A0A3jpPAXEwBgBbBMhtN0UK+i3XpnyP/2a7IDff5BwX
8GWjd6bqTFFnvm8iwCoiT3YIOJD4VBINg8AZEiqg9vs/xQ3fD24XvC1xJwfFV3IV
4cdp/rR4711IIjTWGITUU0/YbiUKUoX4zOxbukaIr8bS/sLEhRn2TxlTDLbjjn9G
YnYgSH5jCg6eapm4VDG9etMwQLgtljuxZPPTfW9z/3pyH0Y8azvv+YRiBCIpikdT
DUlWS9p1+66EhYZwWIYWPSCs1mzRBm4f8B41rQbSiaSgCKPBaFEwR8AMnAuK44G3
yKlGXX0ltkvk9/PDbcFpzvN4NV3vZ1OF6wtSDRHWt5ZZr4xk7omFuYbQIEF1sWcw
K4BFHHnAldSc1JwnzmTK
=M6z2
-----END PGP SIGNATURE-----
