On Mon, 30 Nov 2009, Francesco P. Lovergine wrote: > On Mon, Nov 30, 2009 at 09:07:26AM -0400, brem...@unb.ca wrote: > > > > I see two solutions so far: > > > > 1) patch the debian cddlib package to produce a third library, > > libcdd_gmp (or whatever) that can be linked together with > > libcdd. This basically migrates the polymake abi changes to the > > debian package, and maybe eventually upstream.
Do you know whether the polymake developers have contacted upstream to try to get their changes merged into upstream cddlib? I'm not enthusiastic about changing the library ABI in Debian in a way that isn't eventually going upstream. -Tim Abbott -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org