Files
lrwxrwxrwx | 26 | root | root | /usr/lib/libgroebner-0.5.0.so.0 |
-rwxr-xr-x | 4427592 | root | root | /usr/lib/libgroebner-0.5.0.so.0.0.0 |
lrwxrwxrwx | 27 | root | root | /usr/lib/libpboriCudd-0.5.0.so.0 |
-rwxr-xr-x | 582240 | root | root | /usr/lib/libpboriCudd-0.5.0.so.0.0.0 |
lrwxrwxrwx | 26 | root | root | /usr/lib/libpolybori-0.5.0.so.0 |
-rwxr-xr-x | 1080200 | root | root | /usr/lib/libpolybori-0.5.0.so.0.0.0 |