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-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
