-rw-r--r-- 1 rbulk robots 1151 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/patches/patch-af
-rw-r--r-- 1 rbulk robots 11810 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/patches/patch-ae
-rw-r--r-- 1 rbulk robots 279 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/DESCR
-rw-r--r-- 1 rbulk robots 362 Sep  9 20:09 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/distinfo
-rw-r--r-- 1 rbulk robots 578 Sep  9 20:09 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/patches/patch-ab
-rw-r--r-- 1 rbulk robots 603 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/PLIST
-rw-r--r-- 1 rbulk robots 736 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/depend.mk
-rw-r--r-- 1 rbulk robots 737 Sep  9 20:09 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/Makefile
