package conf-gtksourceview

  1. Overview
  2. No Docs
Virtual package relying on a GtkSourceView system installation

Install

Dune Dependency

Authors

Maintainers

Description

This package can only install if libgtksourceview2.0-dev is installed on the system.

Published: 21 Nov 2013

Dependencies (1)

  1. conf-pkg-config build

Dev Dependencies

None

Used by (8)

  1. alt-ergo-free >= "2.3.3.dune3"
  2. altgr-ergo < "2.4.2"
  3. coqide >= "8.5.0" & < "8.10.0"
  4. frama-c = "9.1" | >= "11.0" & < "26.0"
  5. lablgtk-extras
  6. ocaml-top < "1.2.0"
  7. why3 >= "0.81" & < "1.0.0"
  8. why3-ide < "1.6.0"

Conflicts

None