package lablgtk3-sourceview3

  1. Overview
  2. No Docs
OCaml interface to GTK+ gtksourceview library

Install

github.com Edit opam file

Authors

  1. Jacques Garrigue

Maintainers

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

Sources

lablgtk3-3.1.3.tbz
sha256=786ae7fa15ce166ef85515eda86bb4b258f47cdc1d712d850bb9440a510021c6
sha512=bfa0f351c18eff7c8bd79e9c7c533bc5e8882784d239ce3a3b71c0d50f647538f5d002e456a41969badbdfe07f0a9697c43850ebe3b372c147297690e7ee1c60

Description

OCaml interface to GTK+3, gtksourceview3 library.

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

Published: 13 Oct 2022

Dependencies (5)

  1. camlp-streams build
  2. conf-gtksourceview3 build & >= "0"
  3. lablgtk3 = version
  4. dune >= "1.8.0"
  5. ocaml >= "4.09.0"

Dev Dependencies

None

Used by (8)

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

Conflicts

None