portsurvey log for http://embedded.eecs.berkeley.edu
> http://embedded.eecs.berkeley.edu/pubs/downloads/spice/spice3f5.tar.gz ok