package lablgtk
OCaml interface to GTK+
Install
dune-project
Dependency
Authors
Maintainers
Sources
2.18.13.tar.gz
sha256=7b9e680452458fd351cf8622230d62c3078db528446384268cd0dc37be82143c
md5=d0a326b99475216cc22232e72c89415f
Description
Published: 12 Oct 2022
Dependencies (4)
-
camlp-streams
build
-
conf-gtk2
build
-
ocamlfind
>= "1.2.1"
-
ocaml
>= "4.06"
Dev Dependencies
None
Used by (21)
-
0install-gtk
< "2.16"
-
altgr-ergo
< "2.4.2"
-
bimage-gtk
< "0.1.1"
- cairo2-gtk
- cairo2-pango
-
coqide
< "8.10.0"
-
frama-c
< "26.0"
- freetennis
- lablgtk-extras
- lablgtkosx
- mlpost-lablgtk
-
ocaml-top
< "1.2.0"
- ocamleditor
- ocamlgraph_gtk
- openstellina
-
picasso
< "0.2.0"
- prooftree
- proverif
-
unison
>= "2.51.4" & < "2.53.0"
-
why3-ide
< "1.6.0"
- zelus-gtk
Conflicts (1)
-
conf-glade
ocaml:version >= "5.0"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page