lablgtkversion
OCaml interface to GTK+
If you have problems compiling this on MacOS X, try this using Homebrew:
$ brew install gtk+ $ export PKG_CONFIG_PATH=/opt/X11/lib/pkgconfig $ opam install lablgtk
| 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.16.0/lablgtk-2.16.0.tar.gz sha256=a0ea9752eb257dadcfc2914408fff339d4c34357802f02c63329dd41b777de2f md5=052519ce2a77d2316732bc4d565b6399 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk/lablgtk.2.16.0/opam |
Required by
- alt-ergo-free>=2.3.3
- altgr-ergo<2.4.2
- cairo!=0.4.2
- cairo2<0.4.6
- cairo2-gtk
- cairo2-pango
- chamo<2.03
- coqide<8.10.0
- dbforge
- frama-c<10.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<1.13.4~preview.4.10
- ocamlgraph_gtk
- ocamlviz
- odiff-gtk
- picasso<0.2.0
- profound
- prooftree
- proverif>=1.98
- unison<2.48.15v4
- why<2.35
- why3>=0.81 & <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
