mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 20:13:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

2022-05-02 18:03:08 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2022-05-02 18:03:09 +00:00
parent ba12698c61
commit 75dce01104
19 changed files with 44 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
profiles/use.local.desc
View File

@@ -454,6 +454,7 @@ sci-libs/dart:openscenegraph - OpenSceneGraph GUI and examples
sci-libs/dart:tests - Build the tests
sci-libs/dart:tutorials - Build the tutorials
sci-libs/dart:urdfdom - URDF parser
sci-libs/libpotassco:tools - whether or not to build lpconvert tool
sci-libs/meschach:complex - incorporate complex functions
sci-libs/meschach:double-precision - double precision
sci-libs/meschach:munroll - unroll low level loops on matrices
@@ -465,7 +466,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/libpotassco:tools - whether or not to build lpconvert tool
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+