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

Format: 3.0 (native)
Source: ben
Binary: libben-ocaml-dev, libben-ocaml, ben
Architecture: any
Version: 1.13ubuntu3
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.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, 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:
 3b3672f099001828eec35186f9630c9fbadfe068 83864 ben_1.13ubuntu3.tar.xz
Checksums-Sha256:
 0215c31ece12c30b5eb75975ab1f5fdcb59f139aee4c6960ad070a7ec5ecd897 83864 ben_1.13ubuntu3.tar.xz
Files:
 f133034c23da51cda40c8989e61726e5 83864 ben_1.13ubuntu3.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmk3NcoACgkQWWH9vpxh
mAnyYQ//X8NifWEU51vm56N36WQdgownTznISKg6wZEOhk/vglbxFYM0AULc5Akn
WCkwarvacU/z95s4f00OE/I4qXdZYbYu1uRq4bZ9ki+gbg9P2b6vuOcXgHr1fBtP
e2MA6uXoOREjQ9nuPiIue6kZ5RxpD9rd9oM6vqq8Nd3w6zQYXHZMzO7Dx9cIrQ0c
DLz59xgrRlZpkH+ufOfUmZDR+KDDjIrKfHJ5O6ZzQXIJVZuuZnOmsVx5qK5XC0/G
DPUEaz/wVwvVHSt13zcgqKsKRyxcRBpibbzt6FPvPD8mXa0AxCwpVzmV+S0CwXh0
g2cSOwSZltbYOp+yR/ujgWNf5/H7P1N8UXMHkzSfgDlAHzCOi8beRinwTDaFh9W8
khcsRHtKVXAIQENXqJ5KruOgyzQxkMIlosjZQPTbdjhxG50NXiRVVFpdnH+1rLz2
IdFSsUwXpA8/LG6h5102jFbvd3Ua33NVAWVfW1a9btFcnGZss8vJ8reLQ/wnLtdq
71atxZwJ+x3pcq2M/B8j77DedjKcWKWQ3/4T8IIsDh5+8JcOey3v4IpYAB7BGUxe
KJCMyCVcq4uz3zQEuigcJ5Q9GeQJd9bQQ5Y6Sjccxu3MhsjPNZ6D5CrA1QmVPeS+
wYAIjv8mB0VVJC8+fftJZlrN2122JBTSiCL65YV57u2gylm46mU=
=3/wa
-----END PGP SIGNATURE-----