2023-04-28 18:03:53 UTC

This commit is contained in:
Repository mirror & CI
2023-04-28 18:03:54 +00:00
parent becdf601c7
commit d800ba3887
40 changed files with 315 additions and 197 deletions

View File

@@ -360,7 +360,6 @@ gui-apps/yambar:xkb - keyboard support for X11
gui-apps/yambar:xwindow - XWindow (window tracking for X11) support
gui-libs/cubegui:concurrent - Enables usage of the QtConcurrent for the the parallel calculations
gui-libs/cubegui:webengine - Enables usage of the QtWebEngine for the HTML Documentation
gui-libs/power-profiles-daemon:pylint - Run pylint checks
gui-libs/xdg-desktop-portal-hyprland:elogind - Enable support for rootless session via elogind
gui-wm/cage:X - Enable support for X11 applications (XWayland)
gui-wm/hyprland:grimblast - Install 'grimblast': a Hyprland version of the sway script for taking screenshots
@@ -592,8 +591,6 @@ sci-mathematics/clasp:tools - whether or not to build the clasp application
sci-mathematics/clingo:tools - whether or not to build the clingo tool
sci-mathematics/frama-c-aorai:eva - Build support for the Eva plugin
sci-mathematics/frama-c-wp:coq - Precompile coq libraries
sci-mathematics/mccs:glpk - enable GLPK as solver
sci-mathematics/mccs:lpsolve - enable lpsolve as solver
sci-mathematics/minisat+:bignum - Build the bignum variant of minisat+
sci-mathematics/the-omega-project:gui - Build petit with gui
sci-mathematics/the-omega-project:htmldoc - Build html documentation