libcdd0d-dbg 094g-4 (i386 binary) in ubuntu saucy

 The cddlib library is a C library for manipulating general convex
 polyhedra. It supports converting between the system of linear
 inequalities representation and a vertices and extreme rays
 representation of a polyhedron, and also supports solving linear
 programming problems.
 .
 This package contains the debugging symbols for libcdd0d.