[isabelle-dev] TUM repository is down?

Fabian Huch huch at in.tum.de
Wed Jun 2 17:56:37 CEST 2021


To clarify: that was only about the testboard repository. The other 
repositories had a problem earlier today when accessed from 
isabelle-repository, but do work again.

Fabian

On 6/2/21 5:21 PM, Fabian Huch wrote:
> Our directory structure has changed slightly, and it appears that the 
> directory was a Symlink that is now dead.
>
> I'll make sure that the testboard is restored but that may take until 
> Friday.
>
> Fabian
>
> On 6/2/21 4:57 PM, Lawrence Paulson wrote:
>> I’m getting error messages (see below). Any news?
>> Larry
>>
>> src/HOL: hg fetch
>> remote: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
>> remote: @    WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!     @
>> remote: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
>> remote: IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY!
>> remote: Someone could be eavesdropping on you right now 
>> (man-in-the-middle attack)!
>> remote: It is also possible that a host key has just been changed.
>> remote: The fingerprint for the ECDSA key sent by the remote host is
>> remote: SHA256:q8AlcyiOs8RycfEnardRUfjUWwYwDrMMURBkZ7E0Eus.
>> remote: Please contact your system administrator.
>> remote: Add correct host key in /Users/lp15/.ssh/known_hosts to get 
>> rid of this message.
>> remote: Offending ECDSA key in /Users/lp15/.ssh/known_hosts:114
>> remote: ECDSA host key for lxbroy10.informatik.tu-muenchen.de has 
>> changed and you have requested strict checking.
>> remote: Host key verification failed.
>> abort: no suitable response from remote hg!
>> src/HOL: bbedit /Users/lp15/.ssh/known_hosts
>> src/HOL: hg fetch
>> The authenticity of host 'lxbroy10.informatik.tu-muenchen.de 
>> (131.159.47.103)' can't be established.
>> ED25519 key fingerprint is 
>> SHA256:6TjNHA9NX8QcZxCQ6ROvwhtrq7prqnclE+I/1KlLpGE.
>> Are you sure you want to continue connecting (yes/no/[fingerprint])? yes
>> remote: Warning: Permanently added 
>> 'lxbroy10.informatik.tu-muenchen.de,131.159.47.103' (ED25519) to the 
>> list of known hosts.
>> remote: Warning: No xauth data; using fake authentication data for 
>> X11 forwarding.
>> remote: abort: repository /home/isabelle-repository/repos/isabelle 
>> not found!
>> abort: no suitable response from remote hg!
>> src/HOL:
>>
>>
>>
>> Larry
>>
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


More information about the isabelle-dev mailing list