[isabelle-dev] TUM repository is down?

Lawrence Paulson lp15 at cam.ac.uk
Wed Jun 2 16:57:29 CEST 2021


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



More information about the isabelle-dev mailing list