> > shouldn't the library packages have the so name appended to them > > (i.e. libucl-common0 or whatever)? > > Yes, they should, since so says the Policy. hmm.. does this mean a bugreport is in order for the gmp3 package? It's a frontend to the mpg123 mp3 player, and a name clash waiting to happen with the GNU Multiprecision arithmetic library, (gmp1, gmp2)