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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 1.4ubuntu2
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.2
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:
 e83f56952cfb3de5060aa8870f93ee1edd357692 80668 ben_1.4ubuntu2.tar.xz
Checksums-Sha256:
 8c05af1dd72c2b77b37ab263ea604c2cd4682610bf039bf30b30cf61eca9c8f8 80668 ben_1.4ubuntu2.tar.xz
Files:
 4c6cffd8769b6d96e81479f58d319845 80668 ben_1.4ubuntu2.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmaL5psACgkQ808JdE6f
XdkUpQ//SoxgTvqExjw1Q516LDvrGxZ50sCOei7uRyCzDCBSM/Hv/s4bB0hwFDp1
c9++nDLTJHEvhZcjeF19c87EHxD1pE1IhAPsU55GcRMdhnBMpw0MWqT9exXeSBRc
6EpoOE87l2Vsi2xreN/hbyEC7mQSCeecpgkVBUbbqe3Co3nBT7OCrEkS7njEreap
LtsQ6xtgNKiQhr1QK667QtodNFwVfRM2KqD4DzvqmqwF8WqTteO2B3hB9TxkVsGp
w+EuHIViI4JPjSiK5G8MTtO7wo9fWQNqE62vxOUXmt4IrBWED2k5b/GXTEPUBQjX
xa6GfWeYzhwHZFRHmOqDg6eOlx/jW2CaGZFPR/UIbMDF27BvKhBi9WrS69P3EDpK
paj0eEIkLgCkHuEj/A2GvN49k7EKbsCubVIgEBAYYeni+8Splly4gBv46384e8C7
/bQJf5o63lJt6+bcpKXfj+TUXS/WCgpwlfPjzAC6wReGBEP1JsEyM+Jl012pp3qw
csfWjAz+fLFy5DZYUFJtVgFG8l9rw5IaFwnUBT056WYNmHrV3CK4NY10ltPd3Gpq
C9uhceFeSe3nOXHt20vrzKfmdcOM1d1MFgCVCM8bk+qaplJOWxcsZQn7z01aUl/3
n0g3dM+4VycM/BYIDKwzxhKY8aeBJYQV1c7o+cSGJMWt9eAhBow=
=3aKf
-----END PGP SIGNATURE-----