lablgtkversion
OCaml interface to GTK+
| Author | Jacques Garrigue et al., Nagoya University |
|---|---|
| License | LGPL with linking exception |
| Published | |
| Homepage | http://lablgtk.forge.ocamlcore.org/ |
| Issue Tracker | https://github.com/garrigue/lablgtk/issues |
| Maintainer | garrigue@math.nagoya-u.ac.jp |
| Dependencies | |
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://download.ocamlcore.org/lablgtk/Lablgtk2/2.18.7/lablgtk-2.18.7.tar.gz md5=2da57c6ebbb7ecba5c6d71576ec929ac |
| Statistics | Installed 533 times last month. |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk/lablgtk.2.18.7/opam |
Required by
Optionally used by
- 0install
- alt-ergo>=2.0.0 & <2.3.0
- alt-ergo-free
- 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
- ocamlnet>=3.5.1
- postgresqlbuild & <4.1.0
- why3<0.81
- why3-base
