dev-ml/lablgtk-sourceview-3.1.5
net-misc/unison-2.53.5-r2:gui
net-misc/unison-2.53.7-r1:gui
sci-mathematics/alt-ergo-2.4.3-r2:gui
sci-mathematics/coq-8.17.1:gui
sci-mathematics/coq-8.19.2:gui
sci-mathematics/coq-8.20.0:gui
sci-mathematics/why3-1.6.0:gtk
sci-mathematics/why3-1.7.2:gtk
sci-mathematics/why3-1.8.0:gtk
sci-mathematics/why3-for-spark-2021-r1:gtk
sci-mathematics/why3-for-spark-2023.12.13-r2:gtk
