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

2023-01-11 09:32:07 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2023-01-11 09:32:07 +00:00
parent 6a62b6520e
commit 22620f86fe
3 changed files with 18 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
metadata/pkg_desc_index
View File

@@ -1641,6 +1641,7 @@ sci-mathematics/minisatp 0.1_p20121002: solver for pseudo-Boolean constraints
sci-mathematics/packup 0.6: PACKage Upgradability Problem solver
sci-mathematics/qepcad 1.72b_p20220502-r2: Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
sci-mathematics/radian 0.6.3: A 21 century R console
sci-mathematics/rstudio-desktop-bin 2022.12.0_p353: IDE for R and Python
sci-mathematics/the-omega-project 2.1_p20131119: Tools from Pugh et al.'s for constraint-based compiler tools
sci-misc/boinc-wrapper 7.20.2: Wrapper to use non-BOINC apps with BOINC
sci-misc/linuxcnc 9999: LinuxCNC