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-2.1-or-later WITH OCaml-LGPL-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/releases/download/3.1.5/lablgtk3-3.1.5.tbz sha256=d4821cdbecf3ae374f20317d63e43fe58030c3ba9657b51a2e83e652197e8eac sha512=83f0be38a1e21737de93f88b0adac15cdcc50cf712d773720b9bc1e8d8ffdb2c660d35840f25d326a42a9d4e6537e6cef466099bf72494196b2cc79977e703e3 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk3-sourceview3/lablgtk3-sourceview3.3.1.5/opam |
Required by
- altgr-ergo>=2.4.2
- chamo=3.0
- coqide>=8.10.0
- frama-c>=19.0
- lablgtk3-extras
- matita
- ocaml-top>=1.2.0
- why3-ide>=1.2.1
Optionally used by
- frama-c>=28.0