cddlib-src: general convex polyhedron library (source)

    2018-07-27 20:50           0 cddlib-094j-1.src/
    2018-07-27 20:50     1364746 cddlib-094j-1.src/cddlib-0.94j.tar.gz
    2018-07-27 20:50        2622 cddlib-094j-1.src/cddlib-undefined.patch
    2018-07-27 20:50        1385 cddlib-094j-1.src/cddlib.cygport