On Mon, 2015-01-26 at 18:46 +0100, Achim Gratz wrote: > These are the last packages depending on libgmp3 (on 32bit only). Could > these either be recompiled or dropped so that the old gmp library can be > removed? I really don't want to compile it again with gcc-4.9.2 for > just this handful of packages.
cocom is mine, and I have added it to my update queue. -- Yaakov