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.16.0.tar.gz
sha256=a0ea9752eb257dadcfc2914408fff339d4c34357802f02c63329dd41b777de2f
md5=052519ce2a77d2316732bc4d565b6399
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: 21 Nov 2013
Dev Dependencies
None
Used by (34)
-
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
Conflicts
None
On This Page