Cadence challenges using loft.ifi.uio.no

It seems that one of the servers under rh7login has problems. Its name is loft.ifi.uio.no, so if you end up at his server, please try to ssh to eldur.ifi.uio.no instead. The IT support team is on the case, but until it is fixed avoid loft.ifi.uio.no.