-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (native) Source: ben Binary: libben-ocaml-dev, libben-ocaml, ben Architecture: any Version: 0.7.7ubuntu2 Maintainer: Ubuntu Developers Uploaders: Stéphane Glondu , Mehdi Dogguy Homepage: https://ben.debian.net Standards-Version: 4.0.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 (>= 10), 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 (>= 3.5~), libpostgresql-ocaml-dev, libparmap-ocaml-dev, libre-ocaml-dev, libextlib-ocaml-dev, ocaml-nox (>= 4.01~), asciidoc, 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: 509c656f4013874319d6f03a676b0a3f75925ee2 62344 ben_0.7.7ubuntu2.tar.xz Checksums-Sha256: 6f8c06292f010ce5958fb97c9f4d5798f1426de35211ed0977b163b3f8349317 62344 ben_0.7.7ubuntu2.tar.xz Files: 4e48d77304bd95853909be7f2c1d3baa 62344 ben_0.7.7ubuntu2.tar.xz Debian-Vcs-Browser: https://anonscm.debian.org/git/collab-maint/ben.git Debian-Vcs-Git: https://anonscm.debian.org/git/collab-maint/ben.git Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJZ9JeJAAoJEPNPCXROn13ZMP8P/1MJ6PZGie/0MEh2nHIu9rbn xL2z5NBWUZNUC4mEYCdtdriAN8/jrkMMFcQukjT99ms2DTj6QqEtQGFJpW/YZHVv PuT29Gru0BvVau+e8F5WbeYcrwNkz+mk3vtP+phX8s+10D42f1S5hO8SCNqLFkJV 7UG2ewAtL0BgUqkXovYYd+xB/1f/Y+uDwnD6/kAhEDPvtd2NmkuTrczia2+ZtPO3 76TiyO6sNWsg4sn/mqqTP2p459E4aM65oyEuf14xT5JkvBjoRvNRKRxfR56Y2EJw UW/ppN4OL00SfqTbFhn427NBw5tqM3DrNzVwtc/Eoxv8UHc0aEM18Usl+jh3+KGV 3nLEUS/mW2BzhDVlO6ZUqZIjZH/Trm/PPgKGitFpd1tXFuBwF7WiBp9grGBDBJUn 8gFTWKktO9sE0J6M1CB3uATchnptTPHC1QO7w0rcqUwxxSmpZGnAAfE7myZPx3lp tapgz8olI33pm7LqW4Od8SsxWj11xt5/mqtNnS53jBzt/rdJVBEwCpOECYBccFHU LhlObisbw5POjLIYaan6phtF/9bHfZDTUjceH3XpoizSxYsUTEkgRzr+bru1FXpY xzsrReCEWP7gHyIGUovMVsY42B0/YaWkTtxHIQH+KKWwQJdMcF0anKomIXkWznp5 lJ5qcPw6Zoyx8d+uxQBB =kHpB -----END PGP SIGNATURE-----