Tobias Hansen <thansen@debian.org> writes: > > Both versions of cddlib are in the package (libcdd0d) so that should > work for polymake, right? > polymake needs to use symbols from both libraries, and I believe they are the same. Again, maybe some wrapper could do the trick, although that might require slightly fancy linking/symbol versioning. d