package name problem

Chris Mohler cr33dog at
Sat Dec 13 21:47:55 UTC 2008

On Sun, Dec 14, 2008 at 2:45 AM, Robert Holtzman <holtzm at> wrote:
> I installed mondo 2.24-3ubuntu1 from the Ubuntu repo. Had a problem with
> it so I climbed on the mondo-devel list and was told 2.24=2.2.4 and that
> the latest was 2.2.7 which I went ahead and installed. Looks like the
> ubuntu developers missed a decimal point. The problem is that the update
> manager thinks 2.24-3 is later than 2.2.7 (2.24>2.2) and plants the
> update symbol in the bottom panel. I see no way of removing it except
> perhaps, globally which I don't want to do.
> Short of getting the developers to rename the package, which I may
> lobby for, is there any way of getting rid of this annoyance?
> Thanks in advance for any ideas.

Check 'man apt_preferences'.  Untested, but you probably want
something similar to:

Package: mondo
Pin: version 2.24*
Pin-Priority: 1001

I've not done a lot of pinning - you should read that man page carefully!
There are some GUI ways to handle pinning also:

Of course, fixing the release version is a better option ;)


More information about the ubuntu-users mailing list