cddlib-devel: general convex polyhedron library - devel

    2021-01-15 21:19           0 usr/lib/
    2021-01-15 21:18      173160 usr/lib/libcdd.dll.a
    2021-01-15 21:18      330952 usr/lib/libcddgmp.dll.a
    2021-01-15 21:19           0 usr/lib/pkgconfig/
    2021-01-15 21:19         283 usr/lib/pkgconfig/cddlib.pc
    2021-01-15 21:18           0 usr/include/
    2021-01-15 21:18           0 usr/include/cddlib/
    2021-01-15 21:18       13933 usr/include/cddlib/cdd.h
    2021-01-15 21:18        4726 usr/include/cddlib/cddmp.h
    2021-01-15 21:18        4947 usr/include/cddlib/cddmp_f.h
    2021-01-15 21:18       10953 usr/include/cddlib/cddtypes.h
    2021-01-15 21:18       11307 usr/include/cddlib/cddtypes_f.h
    2021-01-15 21:18       14714 usr/include/cddlib/cdd_f.h
    2021-01-15 21:18        1373 usr/include/cddlib/setoper.h
    2021-01-15 21:18         609 usr/include/cddlib/splitmix64.h