Title says it all.
irc.what-network.com, i believe. could also be .net, check both.
they didn't built Rome in one day
IRC Server: irc.what-network.net
Port: 6667 (6697 SSL)
It's not a good address you give a Synaptic ...
I irc holds true ...
I'm posting this link like 2 or 3 times a day b/c people can't learn to use the search function. Most IRCs are here -