conf-gtksourceviewversion
Virtual package relying on a GtkSourceView system installation
This package can only install if libgtksourceview2.0-dev is installed on the system.
| Author | The gtksourceview programmers |
|---|---|
| License | LGPL-2.1-or-later |
| Published | |
| Homepage | https://projects.gnome.org/gtksourceview/ |
| Issue Tracker | https://github.com/ocaml/opam-repository/issues |
| Maintainer | https://github.com/ocaml/opam-repository/issues |
| Dependencies |
|
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/conf-gtksourceview/conf-gtksourceview.2/opam |
Required by
- alt-ergo-free>=2.3.3.dune3
- altgr-ergo<2.4.2
- coqide>=8.5.0 & <8.10.0
- frama-c=9.1 | >=11.0 & <26.0
- lablgtk-extras
- ocaml-top<1.2.0
- why3>=0.81 & <1.0.0
- why3-ide<1.6.0
Optionally used by
- alt-ergo>=2.0.0 & <2.3.0
- alt-ergo-free<2.3.3
- frama-c=10.0
- frama-c-base
- lablgtk
- why3-base
