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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 0.9.2ubuntu1
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.5.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-compat (= 13), dh-ocaml, graphviz, ocaml-findlib, ocamlbuild, menhir, 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:
 83b20da415bcd49cea42334690e0f1126567300e 80716 ben_0.9.2ubuntu1.tar.xz
Checksums-Sha256:
 80c4aaf64a2437e880b60cfb7f256130e0538bc9a7aa9cb0f9605ff4cd3eab1d 80716 ben_0.9.2ubuntu1.tar.xz
Files:
 0744b081f79083292f92a525e0ec32b4 80716 ben_0.9.2ubuntu1.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmAP5JIACgkQ808JdE6f
Xdm3Wg//ZT1bJqg5j3Pw8n0p9QD6Mlmstqe6iplHZ6o2xIVRs1BgOEnrgOIE0ZPc
9GLDykJP3r2ia8YZx6pGDun8SPAjKsLhvs4nv5Q+1Rkj6zo+C6CK/Qm99Xx4M5jr
pkOrvVkIPsgthBMtirL4RAoPHWt0E25NYLO+D72VOVZCoi+sY9E1dwPH7Du52Uxl
UAZaVGyMEHd49bmCyilrRjQNNRxnMeakiE6cgIgVnaXWeq2NttXXHhTEuaJfKdyY
vxhYcxw1vqrNSEzNDGCK3s4yrkYAYnnCepQqN/rZtpfYSI+3Msts26uMfLRr/iqA
VF5t7XpelQZFsWZ8uUmFXnZ0xs834tXecrN/4x7gg45BkIXv79LXcDGuG4x0SPEO
qCUgANWFukMssxMM1SaOQMA1OrGakrIeKTbm7RwWUQeFpHGQOjidLk9bAHu+ksx3
AA+0bq+pGjB3eExbmiPO+4PaxxGoQy4z7KXH4w1nNocG4spAEFGkvYdwh2rZrNCN
4NwKYsS9o9svo8CX6wtq6HJ8a5mV1JSRitmzZsqS9i/y8QRc+VBQjxMMpPb1peQD
w2+K4DJd3RpvDyw6v/J8cVrwgoz0gA89umULINugYDtGHpQbCzqaO/DY/h1P/vWk
Wbkj1THHkOfN+y+Io5xIlJBeDKfhrWfaj69DcRhs2asbSukCJDU=
=DqQm
-----END PGP SIGNATURE-----