[isabelle-dev] Problems with server room cooling at TUM

[Lawrence Paulson]

I haven’t had access to the repository for several days now. I hope it can be restored soon.

Larry
On 3 Aug 2024 at 13:18 +0100, Makarius <makarius at sketis.net>, wrote:
TUM has problems with cooling of server rooms for a couple of days, although I
am not close enough to know the details. Several servers have been shutdown
down to reduce heat production.

So far this has excluded the important lxbroy10.in.tum.de but now I cannot
access it anymore.

Lets hope that we will see it again on Monday ...


Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-dev at in.tum.de
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmailman46.in.tum.de%2Fmailman%2Flistinfo%2Fisabelle-dev&data=05%7C02%7Clp15%40universityofcambridgecloud.onmicrosoft.com%7Cf059286aa59f41d2f57908dcb3b6652e%7C49a50445bdfa4b79ade3547b4f3986e9%7C1%7C0%7C638582843166877822%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=NMgNhThK7Njyqe7YmYr5WzZbTWKZ5UwwF6lZ8JglfXg%3D&reserved=0
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240803/a5b528c4/attachment-0001.htm>