Cannot see 4Duino via "Boards Manager"

You can follow the evolution of the issue here: