package lablgtk

You can search for identifiers within the package.

in-package search v0.2.0

OCaml interface to GTK+

Install

Dune Dependency

garrigue.github.io Edit opam file Versions (7)

Authors

Jacques Garrigue

Maintainers

G

garrigue@math.nagoya-u.ac.jp

Sources

sha256=b3b746d4aa8a2bf7d63b1eca9f5319aac0c1888c5c54cf0581f8d895fd78c277

md5=b0ea9cc66cbc7eb698b73f7815b35462

Description

Published: 28 Jan 2025

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"

On This Page

Description
Dependencies (4)
Dev Dependencies
Used by (21)
Conflicts (1)