-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (native) Source: ben Binary: libben-ocaml-dev, libben-ocaml, ben Architecture: any Version: 0.9.0ubuntu2 Maintainer: Ubuntu Developers Uploaders: Stéphane Glondu , Mehdi Dogguy Homepage: https://ben.debian.net Standards-Version: 4.4.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 (>= 12), dh-ocaml (>= 0.9.6~), graphviz, ocaml-findlib, ocamlbuild, menhir, libpcre-ocaml-dev, 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: f330ae88067cc1c2e1391e05f66ac0502fa258ef 67188 ben_0.9.0ubuntu2.tar.xz Checksums-Sha256: 17f73685858cf7251edb4063e40beb069eb68e6f2ac11f4c0fd4d20a1bc83368 67188 ben_0.9.0ubuntu2.tar.xz Files: d615f9aa71e672d463e177ce453123c3 67188 ben_0.9.0ubuntu2.tar.xz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl5PhM0aHHN0ZXZlLmxh bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz3oqRAArv6hEn6nMOMN4nhTd8ik ouwRS0ZcEwh7iYhlFYcgOCgW1D1c2YqFmSiNqqKtjdD/28mfLh6yEZm3Mg+Dg0Yt A5zI4tW5J2UzIxY8IwnTZ/maXpn4ujGTNbsjQSDLZxk/HVNiFX7PNQXX/ZIrU804 lqhaKmfb939mZ3dJqBPVXQ6j8SNVS5phbqiSkyXXxc7e28hUK4FLCu+O2OFctPuD +Dj14tRHx1ENWUaAL3Pry00v2MUCJ+G8asYmMosHyTZPdSSD9tIvK7MZ4jWm99X+ XqnohYT7jbrb/x/gEQw6vqwq9f3wqO4K7SLQGM5T241YyYNahuU5fWwZyBgEyV7R nQjBvlxnX9NxbcwuZviuFPMNChFDOng44C5yIQ1rAUGb+IP5yUjRyjg2PWYEZ0Zt hzYVFYqn9pjl4ETfI52Xzc2SqxXOc+YqIwqwos7iwDHREHv6MyJexE6HEY7LTCCi lX0vxJ/izou8eBaDuh7WUhjWDYcBErQ6+3nI2Tbh8ENEfwxBx6Ra2M2NxMEZZ76D gF9pp904CY63eRR1wJOuFl2xPD2zXVn09jIJZxnD44PtVI8GHkISGRUiz+OCHf9n Ie1RqbG/YlHWZwWYvlV/0J2pvLXiOkeAP6Kx3kVtwCJc+Jt4gLo4thPDgJ/7j11G q1W3kZA0PdpBaj3DulvR6wI= =khGb -----END PGP SIGNATURE-----