package lablgtk3-sourceview3
OCaml interface to GTK+ gtksourceview library
Install
Dune Dependency
Authors
Maintainers
Sources
lablgtk3-3.1.5.tbz
sha256=d4821cdbecf3ae374f20317d63e43fe58030c3ba9657b51a2e83e652197e8eac
sha512=83f0be38a1e21737de93f88b0adac15cdcc50cf712d773720b9bc1e8d8ffdb2c660d35840f25d326a42a9d4e6537e6cef466099bf72494196b2cc79977e703e3
Description
OCaml interface to GTK+3, gtksourceview3 library.
See https://garrigue.github.io/lablgtk/ for more information.
Published: 17 Jun 2024
Dependencies (5)
-
camlp-streams
build -
conf-gtksourceview3
build & >= "0" -
lablgtk3
= version -
dune
>= "1.8.0" -
ocaml
>= "4.09.0"
Dev Dependencies
None
Used by (8)
-
altgr-ergo
>= "2.4.2" -
coqide
>= "8.10.0" - frama-c
- lablgtk3-extras
- matita
-
ocaml-top
>= "1.2.0" - rocqide
-
why3-ide
>= "1.2.1"
Conflicts
None
On This Page