Simple port search
Search for ports by name
| Port | Collection | Files | Download command |
|---|---|---|---|
| eigen3 | alan | P F S | httpup sync https://www.mizrahi.com.ve/crux/ports/#eigen3 eigen3 |
| eigen3 | contrib | P F S | rsync -aqz crux.nu::ports/crux-3.6/contrib/eigen3/ eigen3 |
| eigen3 | jmf | P F S | httpup sync http://cuttle.space/ports/crux-3.5/#eigen3 eigen3 |