lablgtkversion
OCaml interface to GTK+
| Author | Jacques Garrigue et al., Nagoya University |
|---|---|
| License | LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | https://garrigue.github.io/lablgtk/ |
| Issue Tracker | https://github.com/garrigue/lablgtk/issues |
| Maintainer | garrigue@math.nagoya-u.ac.jp |
| Dependencies | |
| Optional dependencies | |
| Source [http] | https://download.ocamlcore.org/lablgtk/Lablgtk2/2.18.7/lablgtk-2.18.7.tar.gz md5=2da57c6ebbb7ecba5c6d71576ec929ac |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk/lablgtk.2.18.7/opam |
Required by
- 0install-gtk<2.16
- alt-ergo-free>=2.3.3
- altgr-ergo<2.4.2
- bimage-gtk<0.1.1
- cairo!=0.4.2
- cairo2<0.4.6
- cairo2-gtk
- cairo2-pango
- chamo=2.03
- coqide<8.10.0
- dbforge
- frama-c!=10.0 & <22.0
- freetennis
- genet
- gtk-light
- gtktop
- lablgtk-extras
- lablgtkosx
- lwt_glib<1.0.1
- mlpost-lablgtk
- ocaml-top<1.2.0
- ocamldiff<1.1
- ocamldot<1.1
- ocamleditor
- ocamlgraph_gtk
- ocamlviz
- odiff-gtk
- picasso<0.2.0
- profound
- prooftree
- proverif>=1.98
- unison<2.48.15v4 | >=2.51.4 & <2.53.0
- why3>=0.83 & <1.0.0
- why3-ide<1.6.0
- zelus-gtk
Optionally used by
- 0install<2.15.2
- alt-ergo>=2.0.0 & <2.3.0
- alt-ergo-free<2.3.3
- cairo=0.4.2
- cairo2>=0.4.6 & <0.6
- camlimages
- coq<8.4pl2
- frama-c=10.0
- frama-c-base
- heptagon
- lilis
- lwt>=2.4.2 & <3.0.0
- ocamlgraph>=1.8.3 & <2.0.0
- ocamlnet>=3.5.1
- picasso>=0.2.0
- postgresqlbuild & <4.1.0
- unison>=2.48.15v4 & <2.51.4
- why3<0.81
- why3-base
