Orocos_toolchain is down

Hello,

This link:
http://gitorious.org/orocos-toolchain/orocos_toolchain.git
seems down, it's the repository that allows for Orocos for ROS (and it is
still registered in the ROS documentation).
Is this normal?

Orocos_toolchain is down

Please ignore my previous message.

2013/8/8 Flavian Hautbois <f [dot] hautbois [..] ...>

> Hello,
>
> This link:
> http://gitorious.org/orocos-toolchain/orocos_toolchain.git
> seems down, it's the repository that allows for Orocos for ROS (and it is
> still registered in the ROS documentation).
> Is this normal?
>
> --
> F. Hautbois
>