-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (native) Source: ben Binary: libben-ocaml-dev, libben-ocaml, ben Architecture: any Version: 0.9.2ubuntu5 Maintainer: Ubuntu Developers Uploaders: Stéphane Glondu , Mehdi Dogguy 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: be0af5b564765460ce98a2fc6ab94781560f3700 80776 ben_0.9.2ubuntu5.tar.xz Checksums-Sha256: 05add0d76aaeee14dc8e14d29f49fbddf459f214b3e74477477c8b9e7cb0e50b 80776 ben_0.9.2ubuntu5.tar.xz Files: 44e40c25590321437f8001d4a4f871d3 80776 ben_0.9.2ubuntu5.tar.xz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmIY89wQHGRva29AdWJ1 bnR1LmNvbQAKCRC9fqpgd4+m9RscEAC7fmsm0qjcFn/hVPBFSWxx3Bsq4w8N6UmU o+oKUpivTX2w5DWiw0s8y834ju2YrLR98/PVWZkxvjGGDjGq4WyDnAl+EZyTnkb4 m00U3uK0DRNnVNZ/EXhSqCGAqPRnDG0VA8nzFYSwmIKduE6l0EpIMPXdM0Kzjov2 bgjd/JQYepQQh5sjMkett43NGaTZy3hsarG1Y4G7CRXM5wAfCKhJqXLKV7xbzmVy KnhTdml9BfEDa70KGySi9s8HETT3Pwutml4lXKlrrVBxiRTZw1U2ecGWOW0j4VsQ N86b5Ik+mdmEihj1uzNod6gEQ7YxlBykbd4JrEN6puft4Ouij38iHZuYXP/xhyaR B2JMjOFYSZq5mwMhUrIgw733A8j7ygpkGpI0B+qQxuEjcRz++6qwQp/eURiko5Do NLZnbW1tOdp7NWjXVsgYCRU8wUuwE0Gj+PMuXuOTVCcX3bVVDwYLkzQ3uUYWPMt9 xLg0bfokWomAvm+oW+oXB8GiM/6/g3M6z2Tfv93TODUrQQWtJifA68Xhwr2dFjLb dNTpoAVQ0DuIKX2BOuttN/sFuEzTbLbUGLPBPP+nbQ3rHqBJoRK36DmISK/2dXNj bmhG3le9WzsnxvFio6FQnGf8hCiZS7ahxulbNQsF8sH+8dE/SaxcbD9j+7mzxlTN Zu1VqPzF9g== =rZGO -----END PGP SIGNATURE-----