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 |