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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 1.15ubuntu2
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:
 be0aa1b63d69b5060eead52e1c7170094756bc3b 84192 ben_1.15ubuntu2.tar.xz
Checksums-Sha256:
 49ecc1168e5f656608a56ed68957205ed667e3ad19814d44d2088716a10d0c89 84192 ben_1.15ubuntu2.tar.xz
Files:
 f4713c7daf8b88e09592c68da5b3caaa 84192 ben_1.15ubuntu2.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5KcAACgkQ808JdE6f
XdkU6A//URngfXzR3Z2nJcHr8XeBZ1kDJarZ+xH22ocLVkXEnOLhXHxNQJVQb4z5
e5cBubLv1rLpiet5a9t+FJGaElmQWk9bu2nDAFDxyAFCvAxjOHzkSH76VClCSBGy
qtgBkvUDnQ2D0SAfc7W3AxXfphx3EJT5clix/RU6KvhGRuBYXyLhVHjXm1MbxxdE
B59s9EgrSJZ4yZoAKsRi71W1vO3Lt22MsoZhVM4hv5aWZSckhahnlT/a3Vdq1HJh
N7/yRyTP607IwwkBsbrYnllfA28FaV6TUUOBSDHMACEhT+VisWueYqd3PrLNnqTz
ZvakkN8olYJBYajQMhWGuoOFUJbOwRT79E7/yDypKjrzZ+0YEZ2T9Sb8hf2OqjrT
yVzLg+dg2bHrcEhvnXSGTgOnryeTye2KkikgK9z2MZyjYg4yva6g+V1fSYu9WSEI
HMzZQOcaprYtuanFKm14Cfw/QB7dgQWUOS9gbA69CiIh0dTsZp3UoZFHPXjb6H+z
5qM5/hntCmz2s/Lr5m2bM95BKfwwnzDRwoEZZ7vv6M5zJxkBMmhmrDVl3X3FfKEM
ZPDW72k/GPdSVvxXuF1rbXzCk3UXdwqBiTuf4snZIl/M/K2aOF5v0ydKp5Ic3C9d
vz3qXD/IqrwGjDqTLJnqjFdWqloIbkcMh+vOL1Y0Feza5FD8jeI=
=fYQd
-----END PGP SIGNATURE-----
