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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 0.10.1ubuntu1
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.6.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, graphviz, ocaml-findlib, ocamlbuild, menhir, 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, 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:
 a847347a1d07439315ae5128562d6aa9aad7fe71 73436 ben_0.10.1ubuntu1.tar.xz
Checksums-Sha256:
 2bf25ea3be2247472e66e382298e4707156ea7dedc10ff2b6edb3c9fa092607c 73436 ben_0.10.1ubuntu1.tar.xz
Files:
 76edf9ed6a5d5d005a120b1acd25f2fe 73436 ben_0.10.1ubuntu1.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPg0EwACgkQ808JdE6f
Xdl5dQ/+IjXBnMMEWw310wnHXnsKbkfzVgqXWBG3VTnuq5xbjjvj+kaRq3/LWsug
XmPR77M+xuXAZwRG728IN8ktiUdytOymVT5uk8SX4W5/B8lKSEoN2ENtOgHnI0T9
v0pcMrcvknYVn3BZTnLUC+AVZCnQkVmli6NL3vB4/wajnGutv67WNRhrj/WXnUQD
SBby9+3yzBewTg1kxIoRs1ltP2TVYY9Px8uogINeXKoB2oRHRU5+B196OGUrDQt5
iUucE8UUP6ykExBK9Xn7S/wcxrj1w0qWQiTx0Ko1lt3KHaWGufm0LYRbFOBIUTlM
OSexER4gefDpla2zej6V+6WXdgE8DvpyLW59QHHM1rWGsXXuRjIRzgwOI7o/ulNO
atlOrBT+mXYeoUlYSeG1HPWG9LdMDfZH0zSQ2s4lo+sW95xn6uIPmkFtxhx2opIG
cCreJQYIahswlZPiHI/6zOIja9pQD2AiQzUB0IXcaFIjPvN0GPH2B/OEOUZC8Q+t
oUmzkeDsbee90STX2HNPqaG1arba+EC607gaFOdxsJXcF8FXgCqNvJhRzqpPysED
tH91OceANzxU8U99BbZP8Pd/EfUbVxPdsTXIZEjIFRP3kTuZ2jToXARO3VqRf4tg
+nAiVNtE2/vRwAprdOEBEheLCM8L2+iDbFMJpi2xMGZftd/DfVY=
=qYYt
-----END PGP SIGNATURE-----