lablgtk 2.14.2-oasis8
| Maintainer | contact@ocamlpro.com | ||||
|---|---|---|---|---|---|
| Dependencies |
|
||||
| Published | Aug 21, 2012 | ||||
| Source [http] |
http://oasis.ocamlcore.org/dev/dist/lablgtk2/2.14.2-oasis8/lablgtk-2.14.2-oasis8.tar.gz 5ef832f8a83fe26831ab3ffe5367cdec |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk/lablgtk.2.14.2-oasis8/opam | ||||
OCaml interface to gtk+
| Necessary for | ||
|---|---|---|
| altgr-ergo | ||
| cairo | ||
| | | < 0.4.2 | |
| >= 1.2.0 | ||
| cairo2 | ||
| < 0.4.6 | ||
| camlimages | ||
| < 4.0.2 | ||
| coqide | ||
| frama-c | ||
| freetennis | ||
| lablgtkosx | ||
| ocamldiff | ||
| < 1.1 | ||
| ocamldot | ||
| ocamlviz | ||
| odiff-gtk | ||
| profound | ||
| unison | ||
| why | ||
| why3 | ||
| >= 0.81 | ||
| Optional for | ||
| 0install | ||
| cairo | ||
| & | >= 0.4.2 | |
| < 1.2.0 | ||
| cairo2 | ||
| >= 0.4.6 | ||
| camlimages | ||
| >= 4.0.2 | ||
| coq | ||
| < 8.4pl2 | ||
| heptagon | ||
| lwt | ||
| >= 2.4.2 | ||
| ocamlgraph | ||
| >= 1.8.3 | ||
| ocamlnet | ||
| >= 3.5.1 | ||
| why3 | ||
| < 0.81 | ||