lablgtk
OCaml interface to GTK+
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 12 Oct 2022
- Authors
- Maintainers
Sources
Dependencies
Reverse Dependencies
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"
chamo
= "2.03"
coqide
< "8.10.0"
frama-c
!= "10.0" & < "26.0"
lwt_glib
< "1.0.1"
ocamldiff
< "1.1"
ocamldot
< "1.1"
picasso
< "0.2.0"
proverif
>= "1.98"
unison
< "2.48.15v4" | >= "2.51.4" & < "2.53.0"
why3
>= "0.83" & < "1.0.0"