package lablgtk
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
OCaml interface to GTK+
Install
Dune Dependency
Authors
Maintainers
Sources
lablgtk-2.18.2.tar.gz
md5=382003b46e52249810b3d6e7e9f3c80b
Description
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
Published: 18 Sep 2014
Dev Dependencies
None
Used by (35)
-
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" -
why3
>= "0.83" & < "1.0.0" -
why3-ide
< "1.6.0" - zelus-gtk
Conflicts
None
On This Page