opam - lablgtk3-sourceview3.3.1.3

lablgtk3-sourceview3version
3.1.3
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	Oct 13, 2022
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.3 conf-gtksourceview3build & >=0 camlp-streamsbuild
Source [http]	https://github.com/garrigue/lablgtk/releases/download/3.1.3/lablgtk3-3.1.3.tbz sha256=786ae7fa15ce166ef85515eda86bb4b258f47cdc1d712d850bb9440a510021c6 sha512=bfa0f351c18eff7c8bd79e9c7c533bc5e8882784d239ce3a3b71c0d50f647538f5d002e456a41969badbdfe07f0a9697c43850ebe3b372c147297690e7ee1c60
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/lablgtk3-sourceview3/lablgtk3-sourceview3.3.1.3/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