[isabelle-dev] TUM repository is down?

Makarius makarius at sketis.net
Mon Jun 7 11:10:10 CEST 2021

On 05/06/2021 12:10, Makarius wrote:
> On 02/06/2021 20:30, Makarius wrote:
>> On 02/06/2021 16:57, Lawrence Paulson wrote:
>>> I’m getting error messages (see below). Any news?
>> lxbroy10 has been reinstalled: instead of an unusual Gentoo setup it is now
>> Ubuntu 20.04; moreover the NFS directory layout has become more "standard"
>> according to customs of the central system administration at TUM.
> There are some new problems with SSH apparently: I cannot connect.
> (I have already an active mail thread with Thomas Fritz from the TUM system
> administration.)

lxbroy10 appears to be back --- although I did not get mail from the admins yet.


More information about the isabelle-dev mailing list