[isabelle-dev] Is hgbroy down?

Lars Hupel hupel at in.tum.de
Mon Jul 2 13:02:23 CEST 2018


> ~/isabelle/Repos/src/HOL: hg fetch
> remote: ssh: connect to host hgbroy.informatik.tu-muenchen.de port 22: Operation timed out
> abort: no suitable response from remote hg!

Apparently so. I'll let our administrators know.



More information about the isabelle-dev mailing list