opam - lablgtk3-sourceview3.3.1.1

lablgtk3-sourceview3version
3.1.1
3.0.beta4
3.0.beta5
3.0.beta6
3.0.beta7
3.0.beta8
3.1.0
3.1.1
3.1.2
3.1.3
3.1.4
3.1.5 (latest)

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	Jun 19, 2020
Homepage	https://github.com/garrigue/lablgtk
Issue Tracker	https://github.com/garrigue/lablgtk/issues
Maintainer	garrigue@math.nagoya-u.ac.jp
Dependencies	ocaml>=4.05.0 dune>=1.8.0 lablgtk3=3.1.1 conf-gtksourceview3build & >=0
Source [http]	https://github.com/garrigue/lablgtk/releases/download/3.1.1/lablgtk3-3.1.1.tbz sha256=22c7061c8acb49c1ccd0a19396d2b1d7d1d677e0ce7954122404be94a00fecf9 sha512=193c340d9941680869eb90bc89f5b27cc5bdf294f4635081a9ba56a99fa2982266c4ee2eb5fd04d3a3f6150082800de5df786def8c72a276a779d843d914e9e3
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk3-sourceview3/lablgtk3-sourceview3.3.1.1/opam

Required by

altgr-ergo>=2.4.2
chamo=3.0
coqide>=8.10.0 & <8.16.0
frama-c>=19.0
lablgtk3-extras
ocaml-top>=1.2.0
why3-ide>=1.2.1

Optionally used by

frama-c>=28.0