-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (native) Source: ben Binary: libben-ocaml-dev, libben-ocaml, ben Architecture: any Version: 1.9ubuntu5 Maintainer: Ubuntu Developers Uploaders: Stéphane Glondu , Mehdi Dogguy Homepage: https://debian.pages.debian.net/ben/ Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/debian/ben Vcs-Git: https://salsa.debian.org/debian/ben.git Build-Depends: debhelper-compat (= 13), dh-ocaml, ocaml-dune, ocaml-odoc, menhir, liburi-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, liblwt-ocaml-dev, libppx-yojson-conv-ocaml-dev, ocaml, 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: 3a970d6aa9d9cdc4b28f4e2762df707d74463bdc 82932 ben_1.9ubuntu5.tar.xz Checksums-Sha256: dbce8b693a323dafb157b9e2b377fcd3d6a37a7adc22b16e5813080e4b23903c 82932 ben_1.9ubuntu5.tar.xz Files: aa823adb3510b1965f9bc1331f02dc28 82932 ben_1.9ubuntu5.tar.xz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhTum8ACgkQ808JdE6f XdluKBAAyGsnb4scq4sVWar47YZU5e7/q234EDM9ZmvzKPfO07hhBvJrMRUV2URO Ra/hIS8ie7P41KZOH4Zls94V0tqB0jeCd2ly5t0WFeTArFncfmKQ8sF5tDEBsVhR WysgrNY+ntE8iGcMPMNNSWVj0BwcQVpiPoerRyVgc2ratYi+7wrQizQi9lJqloZx d9a58ss09BFS0gtR5Qgwmojue19VcvYKUaSn2BIwIhzwaUjwDSbqZvg+IZnY3UIW 3+jWzyaFvxX+S/tZb4DCyfdzQ6iuUtH4Tx6GrrtED5IMXGCGMFatfYVgR+cSd0YM EspjO0uucOGGlWGqgTJSZChIMTNySvyeDlGVomSObQLTCERV/S/myalur02ltksM C5yjoUOXkGuRLpVdjb2H6HeLg/Q/VLhk+z/XzEjrLjYx02RNYQ/CqlzKK4c8Svis dJ1d3Z2iSPt3JnbAGIwIve+lExod90a9MEDQRWLMtT/hha9FYl7bCboNPGMk3brL eTw0n980joZHqLMBio+Ea/Q2W9rr9OwlFcsj3AHnNoOnkNwUc/lKguRVWp5yyInh gltjIQk6XyXzEhqvhdZ7gRmbchjc0TH6mZdXt/bHtF6tMLeH20o7m44RGrI876E4 NTRy5Sd7XEmEdtgx/L/lGF56Gl+j+1ygKVvUeVSCgl5g1UaCD7I= =9j3/ -----END PGP SIGNATURE-----