Yeah I think you are talking about what we call 'gutters' here on the other side of the pond... Get them cleaned out and you will be shocked how much drier the basement is!
Any place you find leaky pipes, really clean out any dirt or debris under the spot they are leaking so even if it's wet, it dries faster, and nothing is sitting there rotting. And of course mend them asap!