-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 1.8ubuntu1
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.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, 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:
 e57c0da169d27482feb69cf2efbc0fd610bed37c 82704 ben_1.8ubuntu1.tar.xz
Checksums-Sha256:
 804899153dea4aa6fb58c5c0604e893548afae5ca090b26d087d5d1eb230549d 82704 ben_1.8ubuntu1.tar.xz
Files:
 00063b5fc4338b4ebc892cf4c1c15143 82704 ben_1.8ubuntu1.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeT0e0ACgkQ808JdE6f
XdmU1BAAoKS5NwgUwnyDPGjNFnKD81MteiPzNbvTVqkKR0qAROm89pmZTmw/9Sh2
C+O5cA09d9wmYeXS4UgNB6Xik/BVB9qto/fbUcQuB4jqyaXHxnOBRJkk+kXH4Haq
AHm+TBoBP4sQqiTXC23Q0JTNnDRuWRp/z+xG1VMeLxz4kHqO1Xo5RRctV+UtUe0N
uzKj0phHFdc2HIv6p/rG+AXIiBpSA4XrjzATrMIPzpHfpWvH0JzOMaPzwH+DklHO
Cfa/NqvZGWNMAx86C7VW24mArkKraq9Lw8+0cxU1DKq7FvITgC5FOfP+gqGHI+yx
OxZBuYpBtSVzlbg78u/NXSbPWFstqVYy81g//cq2UJPodN8wmZpfS0UpN/nG/lG+
VCh4uuqUX/sgek7D6QnhBj+yKUnIGXLM+Gr1qCR6LAtgzBcoj7fNZBpHSPAGcmnc
9lFPP1XckHCp/gHQbCA42Hvn3xX7eB6+EW4S9hkN3f4EatEdwANW94BJk8jkpdUX
15n4ht2RgNmyfTHC4mXg55/yt4xd+IGFBcdIE4rZCMueJ/FhrdBjmKu3gsBUG0dG
YbFVfe0WgHuUj4dIUCYwrNjJcECgfeeVX+CdElE4aTlj0IRsSTu3LFI/Z+AVG3nh
hY4Y7AR70+k7GLMNON2eDJQHbQ0siNIe+CnCtsqYishgFFgrt5I=
=NyU1
-----END PGP SIGNATURE-----