Bug#916645: ITP: lablgtk3 -- OCaml bindings for gtk+ version 3

[Ralf Treinen <treinen@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>

* Package name    : lablgtk3
  Version         : 3.0
  Upstream Author : Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
* URL             : http://lablgtk.forge.ocamlcore.org/
* License         : LGPL 2.1
  Programming Lang: OCaml
  Description     : OCaml bindings for gtk+ version 3

This package provides OCaml bindings (development libraries,
dynamic libraries) for gtk+ version3.

This package is needed to bring back the graphical interface to
some important OCaml applications, in particular coq, why3, alt-ergo,
and frama-c

It will be maintained by the Debian OCaml team.