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 | [email protected] |
| 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
- coqide>=8.10.0
- frama-c
- lablgtk3-extras
- matita
- ocaml-top>=1.2.0
- rocqide
- why3-ide>=1.2.1
Optionally used by
- frama-c>=28.0
