-rw-r--r-- 1 rbulk robots 1434 Sep  8 20:25 /local/robotpkg/var/lib/robotpkg/optimization/casadi/Makefile.common
-rw-r--r-- 1 rbulk robots 303 Sep  8 20:25 /local/robotpkg/var/lib/robotpkg/optimization/casadi/distinfo
-rw-r--r-- 1 rbulk robots 578 Sep  8 20:25 /local/robotpkg/var/lib/robotpkg/optimization/casadi/patches/patch-ab
-rw-r--r--. 1 rbulk robots 1151 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/casadi/patches/patch-aa
-rw-r--r--. 1 rbulk robots 241 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/casadi/Makefile
-rw-r--r--. 1 rbulk robots 279 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/casadi/DESCR
-rw-r--r--. 1 rbulk robots 652 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/casadi/depend.mk
-rw-r--r--. 1 rbulk robots 9143 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/casadi/PLIST
