lablgtk3-sourceview3
OCaml interface to GTK+ gtksourceview library
Description
OCaml interface to GTK+3, gtksourceview3 library.
See https://garrigue.github.io/lablgtk/ for more information.
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
- 19 Jun 2020
- Authors
- Maintainers
Sources
lablgtk3-3.1.1.tbz
sha256=22c7061c8acb49c1ccd0a19396d2b1d7d1d677e0ce7954122404be94a00fecf9
sha512=193c340d9941680869eb90bc89f5b27cc5bdf294f4635081a9ba56a99fa2982266c4ee2eb5fd04d3a3f6150082800de5df786def8c72a276a779d843d914e9e3
Dependencies
Reverse Dependencies
altgr-ergo
>= "2.4.2"
chamo
>= "3.0"
coqide
>= "8.10.0" & < "8.16.0"
frama-c
>= "19.0"
why3-ide
>= "1.2.1"