Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-ml/
lablgtk-sourceview

OCaml bindings to GTK-3

https://github.com/garrigue/lablgtk

Dependencies Reverse-Dependencies

VersionRDEPENDDEPENDBDEPENDIDEPENDPDEPEND
dev-ml/lablgtk-3.1.5-r1
sci-mathematics/alt-ergo-2.4.3-r2
sci-mathematics/coq-8.19.2
sci-mathematics/coq-8.20.0

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at: