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

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

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb6xYACgkQ808JdE6f
XdkWWxAApPI2AEzExXefk8+h91u6LGkOgs4gqFsrRy3shD8sc4L3pzAJdH2SWGE7
zoW5nEM0S9Z2ik3VvOS+Mrkeo7UscfFZqSFXvgtpk6acOoTsDR+RO/7cCXHGm8IZ
YXhT4AO3cwsfpEUG1gRhuNleVjBVezyP2xvrzEEbYkYCV9M4KCCQqN2PmF7D2dOn
LwxmEkaUY1PCfpYuGzFVsowKV6UnJ307twX38Pzu3s5+dtax8o23FHvivFULK+H0
TxKOt1VDPW72Q2dCEMsndaNWaffBm7YK6aDTQEVby+3hPrDb3AgH0rJJAIONvUYw
O7Jh4WsA9zEB9zaaH/kZLmkaRbZzGWnB124k7VYYO8IbdvMKC+3O6lFJx8t1snPd
e7jVu7AoKMKy4Ejl4ddeSVftCgphiqucm6AzZTftBvfoceqE3ef326KYRx8SicQC
i+0xOsO/gYLGfvFcybNTfc7WLyAKX2G6dNbioR68/CBkBzmTw0tPT7Cn/MHX7J11
YQ5+jS+qqDWkmyRLupeU/SGhZenjG+CSPd8aINxSpaJcgHxPih13KBWB6sKuOhRy
yn+1XzuuDjgm/yIB03oa7WyJw0eS4AsY2l5UH7r21lR+8FDx+FFiVxxh7Z65MX0m
0/TWBJ00YpTdOGOfRbfriq11WPI3s1LsY0dpy12/OOixIS5KNLk=
=q4HA
-----END PGP SIGNATURE-----