Difficulties accessing git.dev.opencascade.name might stem from misconfigured redirects set between different versions. To resolve this, try using one of the links below:

http://git.dev.opencascade.name https://git.dev.opencascade.name

Or return to the current status page of git.dev.opencascade.name.