opam - lablgtk3-sourceview3.3.1.4

lablgtk3-sourceview3version
3.1.4
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-2.1-or-later WITH OCaml-LGPL-linking-exception
Published	Jan 31, 2024
Homepage	https://github.com/garrigue/lablgtk
Issue Tracker	https://github.com/garrigue/lablgtk/issues
Maintainer	garrigue@math.nagoya-u.ac.jp
Dependencies	ocaml>=4.09.0 dune>=1.8.0 lablgtk3=3.1.4 conf-gtksourceview3build & >=0 camlp-streamsbuild
Source [http]	https://github.com/garrigue/lablgtk/releases/download/3.1.4/lablgtk3-3.1.4.tbz sha256=6f11153337e7687e721d5c409a27cd60ecbc1a74a2bcb2e0484ffdfb5cb1048e sha512=a667c4e93555c7b98f0597694929f94c5e2513b944d99ebcc8a66030c95e5923b34765378a813dece986b8ad447f3d3dd9d157267ce4d766fbe53afd14a4e01e
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk3-sourceview3/lablgtk3-sourceview3.3.1.4/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