
<html xmlns="http://www.w3.org/1999/xhtml">


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


<title></title>


</head>


<body>


<div name="messageBodySection">


<div dir="auto">I haven’t had access to the repository for several days now. I hope it can be restored soon.</div>


</div>


<div name="messageSignatureSection"><br>


Larry</div>


<div name="messageReplySection">On 3 Aug 2024 at 13:18 +0100, Makarius <makarius@sketis.net>, wrote:<br>


<blockquote type="cite" style="border-left-color: grey; border-left-width: thin; border-left-style: solid; margin: 5px 5px;padding-left: 10px;">


TUM has problems with cooling of server rooms for a couple of days, although I<br>


am not close enough to know the details. Several servers have been shutdown<br>


down to reduce heat production.<br>


<br>


So far this has excluded the important lxbroy10.in.tum.de but now I cannot<br>


access it anymore.<br>


<br>


Lets hope that we will see it again on Monday ...<br>


<br>


<br>


Makarius<br>


_______________________________________________<br>


isabelle-dev mailing list<br>


isabelle-dev@in.tum.de<br>


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<br>


</blockquote>


</div>


</body>


</html>