Simple port search
Search for ports by name
| Port | Collection | Files | Download command |
|---|---|---|---|
| eigen | contrib | P F S | rsync -aqz crux.nu::ports/crux-3.8/contrib/eigen/ eigen |
| eigen | deepthought | P F S | httpup sync https://crux.eckner.net/#eigen eigen |
| eigen | yenjie | P F S | httpup sync https://gitlab.com/SiFuh/yenjie/-/raw/master/#eigen eigen |
| eigen3 | alan | P F S | httpup sync https://www.mizrahi.com.ve/crux/ports/#eigen3 eigen3 |
| r4-rcppeigen | r4-modules | P F S | httpup sync https://raw.githubusercontent.com/slackalaxy/crux-ports/main/r4-modules/#r4-rcppeigen r4-rcppeigen |