lablgtk3-sourceview3
  1. Overview
  2. Docs
OCaml interface to GTK+ gtksourceview library

Install

github.com Readme Changelog LGPL with linking exception License Edit opam file

Authors

  1. Jacques Garrigue

Maintainers

  1. G
    garrigue@math.nagoya-u.ac.jp

Sources

lablgtk3-3.1.1.tbz
sha256=22c7061c8acb49c1ccd0a19396d2b1d7d1d677e0ce7954122404be94a00fecf9
sha512=193c340d9941680869eb90bc89f5b27cc5bdf294f4635081a9ba56a99fa2982266c4ee2eb5fd04d3a3f6150082800de5df786def8c72a276a779d843d914e9e3

Description

OCaml interface to GTK+3, gtksourceview3 library.

See https://garrigue.github.io/lablgtk/ for more information.

Published: 19 Jun 2020

Dependencies (4)

  1. conf-gtksourceview3 build & >= "0"
  2. lablgtk3 = version
  3. dune >= "1.8.0"
  4. ocaml >= "4.05.0"

Dev Dependencies

None

Used by (7)

  1. altgr-ergo >= "2.4.2"
  2. chamo = "3.0"
  3. coqide >= "8.10.0" & < "8.16.0"
  4. frama-c >= "19.0"
  5. lablgtk3-extras
  6. ocaml-top >= "1.2.0"
  7. why3-ide >= "1.2.1"

Conflicts

None