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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 0.10.3ubuntu5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: https://debian.pages.debian.net/ben/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/debian/ben
Vcs-Git: https://salsa.debian.org/debian/ben.git
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, liblwt-ocaml-dev, ocaml, 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:
 e212233c34e25d2489c893378a2436a21bdcbe57 72412 ben_0.10.3ubuntu5.tar.xz
Checksums-Sha256:
 fdef029b328c517e794b6d0af83c180da2b887fbeb7a5ec94eefe0d607c67759 72412 ben_0.10.3ubuntu5.tar.xz
Files:
 cb8358b78a85f601f701e51cfd96bd0c 72412 ben_0.10.3ubuntu5.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEXHq+og+GMEWcyMi14n8s+EWML6QFAmZCVe8ACgkQ4n8s+EWM
L6Rrtg/9HcPtfCya0Sxp7ipx/lnEjyA9GRpYovf2oKptRkkejoIbNq0m07RkJlSi
GJDZyEc7rZOhHkBfcHyxv8pHqG8LaBteGjNUk9h2rmUNJgV/88rcTYxDItdJzV3Z
VGxjVmTjdVCzwqzWQLRUht2iDy7eiO1nMUee8ejkNhc+1n0TChRHnve5/r9ZTAfM
8dKetcuR7TgDA7+sSQFCK4MZ4AF8R4HGyQEzQ1/y1hxrrz7aOJLQQYdcBw4ru59H
LFENvKs4r2nHsqZZ5Laq6OK8CTYGHSZYBRQG8ccbL74dSsVsbqihe4InxQc/XeHK
CzEV6USc32W4KlvJfC7VD5GBoI9uszNiCqZDvJD/QPzhxNPJPWlOi9Oaa7Gx5Z1F
XVFAsHl6kjnO6gVsZC2zSEAfpnjeN6VkS65OsjlCEu1mlCCNNGLy9owlJmtCAPiz
HDupg53QLE1zyWac2eQBzcthZ2+JAXVoN9Jeed/LbCGXLEmIw01w84yWpmzIDDv+
hb5CK7wRl1ko9NwaiRa6e5Iixngn2C10mEwGpMZHe132h2nu/zdZXz/lwYJx4Tlc
eTFaoxPguXqTg/tXHqE2z7y7rmQS4NTjwTlvHkYf9T2GZyA6GuTXmDVyeLZ2MM8e
9vaEZWZLLHhe9W08T0pgvosOmvqOBikF/HyCuMB7xIm+lPnqCv8=
=Q7zV
-----END PGP SIGNATURE-----