portsurvey log for http://hal.cs.berkeley.edu

> http://hal.cs.berkeley.edu/cil/distrib/cil-1.3.6.tar.gz ok