Host-Key / DNS Problems from Off-Campus Continue

The problems with DNS names which began Wednesday evening are continuing due to a problem at the CIRA end. So there may be some problems with connections to mathserv or email bouncing today.
I'm told that the fix should have worked its way through the Internet name servers later on today.