-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 1.15ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: https://debian.pages.debian.net/ben/
Standards-Version: 4.7.3
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:
 1aaec4b7428672f5b039d0966a0ad086ea862d9f 84236 ben_1.15ubuntu1.tar.xz
Checksums-Sha256:
 8e9c75d1f0fa0f6fcc879d7a4e020c77b47237ca043e642b3452b0d6ffaad65a 84236 ben_1.15ubuntu1.tar.xz
Files:
 a11e9901db0a4130d76573ecf02e13d5 84236 ben_1.15ubuntu1.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmljXvEACgkQ808JdE6f
XdnQthAAmMC130fP1xRuIRtg+OUN8qD/RMkRrzwLoUFgVdDu4skVoZLNXicnHHZJ
Z6Axebk8HK3hrxXT64/POdz3Bnb3Xt3koiOHcjq5jl/1V7bfRJxgtM7nhMMNzEZN
8gYn4fyYXUI4jNPJ6J3f5rOk28nPpRnqlvQvMRPbgrt79jRYntaFWcOfl1PIQHYn
Cx7IPkITQ98QIFFc+GblELfVkb+qtp4HtBOAPXtI0p5HpS09U5IOWjQ6E9bslXgZ
zeCqs6ZwU+6se82KTyufAAnJq3Cs4oS7SYT0AWAPSmjE7ehniht0huYED6uWKDR6
Hw4CO5/VyW/eEFaWNMyY13LeTwVnlwZE3ONi9oM2oguNzTNiVRpSJE/3eWCdwYp+
LMLitoxZuUKYi4cFUF0KOwsTlqyzYJgNqNXZICW/muQIVpR2MtUYWB8KU7MG8NW9
O3laZZDoVurURrBqFav07z5TdD8q8d8XEx1IAtGLeMnRK8guD776b+aHQvrcZ3Fb
YQaezzUs2+5E47+Zf60p5DEvJd10n9D8Cytc2OCTQ0TdXoMfW2gazz+zQlybEKE4
nR8UlJghz5Mef7nzzhO+EuMidFegPa59J1WEHMJYT/bOf96WWurrLAGkrFRVsNcb
0mSeGKw11L/XpgAB1POAr0AdQ4nCMkN6WPy24nvwJOFy81br/zg=
=GRu0
-----END PGP SIGNATURE-----