-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (native) Source: ben Binary: libben-ocaml-dev, libben-ocaml, ben Architecture: any Version: 0.8.3ubuntu4 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: 96412e8a990016485af2bfeb540ed3f773fd07c1 64556 ben_0.8.3ubuntu4.tar.xz Checksums-Sha256: 5f7e604bb883d46b17bf1b423379ab9ffbd410c3a6a4a257b93e039a6fdb61da 64556 ben_0.8.3ubuntu4.tar.xz Files: 662b6938a62581a61ccfc009408390c6 64556 ben_0.8.3ubuntu4.tar.xz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl17UukACgkQ808JdE6f XdkkUxAAx/n2Lh64zFyQcwmVVeSkNttE7ALEMaQW6zSUe1uBZKvvHdcH8ekhyS6f S1EB3tYRfjK6I6wuLKz1wp5Al+OgCTA0azYSXT3r3taF38LRrtdPNewygY+xju6J oJcKiqbybw+W9/BpBmAT2vgick1xed9nxq/3b2LPx1GX184+ZPzv6Qds17vlfFyn kZRsdQ/a8xADyBYIpZmYRlmsbKGM8Y6eAVsV5+9IYdqB5yeQ08KuiTG11G3TNtbI rxmnIVjSDZFYm0PmaxjAcV110rBSIUtQOhRym+GL0Z6S5i6cibshfEII4EW2RwS8 fgGAURyGNY506KmZz2py60ch+5jKrKgRZx0Ljt+UQxj0eWPMKrkARouQMLfJR0tn /aM0yxtA2/DYh09+u3C0VP5d6A9PCbjc6vB7hAmzaw1PFep1EuHyOkyqcaCttc+H KQsrjIjEb5OjD4aIG56GK8NYkeYBv3LsUDrIRO4Pj9qpa4eTE3i8Hp6Lh4rag9RU /F8u+LO8ugfR8AaNIxSmkNPGFNUVDRu7L8MrYxrrl+wh5qxpGWYAog9JuAba7Rqi jqeI6DI9D70hRUnb4CidP9UNYkW27Xcx8Q0+ZiaIql+9Ek+7893RNJLjBhQwMWZR KcCji1zCOfSBkhtPOejH2REa79KPBKHkC+7xeL90NYfPK5WEZP8= =VDe9 -----END PGP SIGNATURE-----