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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 1.15ubuntu3
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:
 1dba557d7eed3c8236c24966cf1cd74255444f5d 84236 ben_1.15ubuntu3.tar.xz
Checksums-Sha256:
 931a882e1865e5031667dcd4f359575227d569dd76f9dbfc62b299d538746e82 84236 ben_1.15ubuntu3.tar.xz
Files:
 c55b46e7eeb8d5a2b86113e0da2660e4 84236 ben_1.15ubuntu3.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmjRX0ACgkQWWH9vpxh
mAmv1A/9Ec2F2kvoEQZjTrRBjQGcoKb1WA7WmpppgX8d2cmOlXv3jszol3ibiSV3
FOVOZAHnai65ET+0e7riQUsGaB1uIs6pJFbRuKE3L1y7JkzvEGmrwPmy+BjQn2vc
ELtTRCgHPOgbnmmU6fxuBbFkHBglJdv4IJ+PCnvUPtxuPeGmSExKZ5DfIxDkFm66
uOSCZDZp/aC+DtLKnwEQInkudHJvJ2BI+1cxMgRwl5pEkg6MNld5G8UVAF5CdcJK
kKZjBnMdiEDnq+lAhwl2fOFqy9H3LaVQW3i+LzrFzXF3PWMNT8JPeLDcxU5PoAbO
hW8d66iGy42wwCcxlcJVGsFV5ULQuLg930+udRsNS3jxFNIE7OkfFejcUV53LXy4
x4VGcW/xKvYlwoblcbjPVF5ERypsQ5cZN9V9biucWbXHAn0lV10BmpIlYHM+4Tdp
umtmBUhqzYL5D4tYU8nwaR2QbRaqN0PrJMwwk/zz9orHZFWQEDVRfEZn1aPb73T1
KalpxaBecZE7MIz+mLt7WSCCyCv1WtjHdl2SOT/2xMLi4q+S0ujbpIhqtZfIAJoc
QGzJ1ECKRpUPw7LbDbTM6IlEqJedlrRRBLpDeAIxWkhrP/qVnpgtJwOlDKQ0QK0K
Pd6bBr2m3y/jHlJZczZ2aC8KHsDS4nEGaswQY7E2fZQjMnzO++Q=
=9kYw
-----END PGP SIGNATURE-----
