lablgtk3-sourceview3version
OCaml interface to GTK+ gtksourceview library
OCaml interface to GTK+3, gtksourceview3 library.
See https://garrigue.github.io/lablgtk/ for more information.
Author | Jacques Garrigue et al., Nagoya University |
---|---|
License | LGPL with linking exception |
Published | |
Homepage | https://github.com/garrigue/lablgtk |
Issue Tracker | https://github.com/garrigue/lablgtk/issues |
Maintainer | garrigue@math.nagoya-u.ac.jp |
Dependencies |
|
Source [http] | https://github.com/garrigue/lablgtk/archive/3.1.2.tar.gz sha256=ad7417875f79716597cc06ccd8cae1efccb326263db1010d9f83555c185f1669 md5=e991d9419a722fc513f4b4878e8c2cbe |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk3-sourceview3/lablgtk3-sourceview3.3.1.2/opam |
Required by
- altgr-ergo>=2.4.2
- chamo=3.0
- coqide>=8.10.0
- frama-c>=19.0
- lablgtk3-extras
- ocaml-top>=1.2.0
- why3-ide>=1.2.1
Optionally used by
- frama-c>=28.0