-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (native) Source: ben Binary: libben-ocaml-dev, libben-ocaml, ben Architecture: any Version: 0.7.3ubuntu3 Maintainer: Ubuntu Developers Uploaders: Stéphane Glondu , Mehdi Dogguy Homepage: http://ben.debian.net Standards-Version: 3.9.5 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 (>= 8), dh-ocaml (>= 0.9.6~), graphviz, ocaml-findlib, 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 devel optional arch=any libben-ocaml-dev deb devel optional arch=any Checksums-Sha1: ac272782d99a3e547e3ef7ddcd78f2a108235455 66832 ben_0.7.3ubuntu3.tar.xz Checksums-Sha256: 2c12ec373334a5d5c2c9d4b69f7f33e1d26d60e91c81e1c1151c6ac691d94c57 66832 ben_0.7.3ubuntu3.tar.xz Files: 2cbc5251e0aca713f96dc6f30c3a9da6 66832 ben_0.7.3ubuntu3.tar.xz Debian-Vcs-Browser: http://anonscm.debian.org/gitweb/?p=collab-maint/ben.git Debian-Vcs-Git: git://anonscm.debian.org/collab-maint/ben.git Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXyW4JAAoJEL1+qmB3j6b1cZ4P/2rd5XfEuwEFEWM0Ucs1GbE7 eLCPjeaBxTtOJjsI0R5dddm31AaxxB1eTuoNS3WZxLMHXyXxzt7PbEqtxmGGxqY6 GMlgkJOA/UxL1H/Zx6UkpFOuMOysqNjjHqVxIxExN6zUz8kv1W7bisxwphriYWl1 uMzgGSNpwpuw8IeQ7ItKLf+/hWzv1uUymjPhIR9IVag3lllWRV8zAMbJjvqjIcN4 FzHBjk5cXk7irLJ5hI4Ukv80RAPsZfobt1aXcu6KWJJD9XY4nYpST0aE/mR6diQ2 l2ZCROpJE+O/IoG8B864YtyaIMLglJtA7/uAJ2BInc3uOaeSgt8R9ncCf456B2Jl 36JNvcvaZP7Lvnbs0gkUnuY6GFf2x4RXMKKOTRM6vmi1VmlUDwDKb3dxCav6W6L9 cbYLk7KPZhaOz0Z6BFiKlM/EaaMUx3qz4yez/PomeAhjaf5JPKJgc61QCSjxZzLi EBayV7I97tlPd1lXKAk/KZCsB9XWLS0tvg0hDS2+sI8tZRk38Wz4cc7Z41Ugppkb 8M7nDp0rZVYDXeOMAyXPXDC3RQqZ0WzazLE0eEHKT+zdOXZmd8tMGIrX2jmauhzN 7WpODFP67XfnWTIa9915MMM8JuZ6J5TVFtkbVuUjSeAX/6G/x9Yr/IphdycWykXt aGujMBJfpZ082fNVEI3G =+G9H -----END PGP SIGNATURE-----