View Single Post
detronizator's Avatar
Posts: 28 | Thanked: 3 times | Joined on Sep 2009 @ London
#13
Originally Posted by mikkov View Post
Try to remove extras-devel from and app manager, refresh catalogues and put it back.

I've had this problem occasionally at least couple of weeks.
Honestly, unless there is a bug big like a house in AppManager, I don't think this is the case.
The problem is server side, and you can see if you use apt-get from command line.