package lablgtk3-sourceview3
OCaml interface to GTK+
Install
Dune Dependency
Authors
Maintainers
Sources
3.0.beta4.tar.gz
sha256=06341059585a4376addbf12f286ec3bcc88c17b9ff993fb37ef9fa4c68e848cf
md5=f177750ce750e627fe6871bd43325a89
Description
OCaml interface to GTK+, gtksourceview2 library
Published: 12 Feb 2019
Dependencies (4)
-
conf-gtksourceview3
build & >= "0"
-
lablgtk3
>= "3.0.beta4"
-
dune
>= "1.4.0"
-
ocaml
>= "4.05.0" & < "4.09"
Dev Dependencies
None
Used by (5)
-
altgr-ergo
>= "2.4.2"
-
coqide
>= "8.10.0" & < "8.16.0"
- frama-c
-
ocaml-top
>= "1.2.0"
-
why3-ide
>= "1.2.1"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page