portsurvey log for http://ngspice.sourceforge.net
> http://ngspice.sourceforge.net/ ok