the server is temporarily down, the thing is some of us are to impatient and look for a fix in the next minute should be up soon.

about the other question (and because synaptic is a beautiful peace of software that everybody should use) i believe that you can find it under menu > system.anyway you can always call it through the terminal with

But what me really worries is the server packages.linuxmint.com points to:server.gutterclutterbuster.com

Is this the correct server?The combination of gutterclutterbusters and linux is ... odd.Add to it that some days ago Ubuntu posted a security advisory about a possible man in the middle attack (http://www.ubuntu.com/usn/usn-1477-1/).

Therefore I would like to ask if someone from the server team could verify that server.gutterclutterbuster.com is indeed the correct server for the package repository and that no one has fooled around with the DNS to smuggle compromisedpackages on our systems.

When you say the server is ok and you have seen it before in the list, that's then fine with me.

Just checking if the server actually contains the directory structure of the package repository was not enough to convince me. Because, if the server was really set up to contain compromised packages, it would of course try to mimic a regular repository layout.And falsifying the modification dates should also not be too difficultif you really want to set up a trojan horse.