portsurvey log for http://www.cs.purdue.edu

> http://www.cs.purdue.edu/homes/trinkle/detex/ ok
> http://www.cs.purdue.edu/homes/trinkle/detex/detex-2.8.tar ok