Cannot see 4Duino via "Boards Manager"

Development Tools IDE 1.x
8

People of 4DSystem staff have answered to me:

We seem to be having an issue with this at the moment and it is being looked into. I will post back here with an update as soon as we have a solution.