Seems like cudlug.cudenver.edu is close to 200 days out of date. In fact, I can't even connect to it.
Willis, are you still the mirror admin for cudlug? We will be removing this mirror soon, please get back to us. Thanks.
removed from mirrors listings.