-rw-r--r-- 1 rbulk robots 1230 Feb 12 18:52 /local/robotpkg/var/lib/robotpkg/optimization/casadi/Makefile.common
-rw-r--r-- 1 rbulk robots 185 Feb 12 18:02 /local/robotpkg/var/lib/robotpkg/optimization/casadi/distinfo
-rw-r--r-- 1 rbulk robots 241 Feb 12 18:02 /local/robotpkg/var/lib/robotpkg/optimization/casadi/Makefile
-rw-r--r-- 1 rbulk robots 279 Oct 17  2024 /local/robotpkg/var/lib/robotpkg/optimization/casadi/DESCR
-rw-r--r-- 1 rbulk robots 652 Oct 17  2024 /local/robotpkg/var/lib/robotpkg/optimization/casadi/depend.mk
-rw-r--r-- 1 rbulk robots 9013 Feb 12 18:02 /local/robotpkg/var/lib/robotpkg/optimization/casadi/PLIST
