CRUX portdb Search for CRUX ports linux crux portdb ports lucas@crux.nu CRUX: PortDB Search http://crux.nu/favicon.ico UTF-8