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 | |
| Conflicts |
|
| Source [http] | https://github.com/garrigue/lablgtk/archive/2.18.14.tar.gz sha256=b3b746d4aa8a2bf7d63b1eca9f5319aac0c1888c5c54cf0581f8d895fd78c277 md5=b0ea9cc66cbc7eb698b73f7815b35462 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk/lablgtk.2.18.14/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 & <26.0
- freetennis
- genet
- gtk-light
- gtktop
- lablgtk-extras
- lablgtkosx
- lwt_glib<1.0.1
- mlpost-lablgtk
- ocaml-top<1.2.0
- ocamldiff<1.1
- ocamleditor
- ocamlgraph_gtk
- ocamlviz
- odiff-gtk
- openstellina
- 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
