Package: wnpp Severity: wishlist Owner: Ralf Treinen <trei...@debian.org>
* Package name : lablgtk3 Version : 3.0 Upstream Author : Jacques Garrigue <garri...@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.
