-rw-r--r--  1 rbulk  robots  1230 Feb 12 18:48 /local/robotpkg/var/lib/robotpkg/optimization/casadi/Makefile.common
-rw-r--r--  1 rbulk  robots  185 Feb 12 18:09 /local/robotpkg/var/lib/robotpkg/optimization/casadi/distinfo
-rw-r--r--  1 rbulk  robots  241 Feb 12 18:09 /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:09 /local/robotpkg/var/lib/robotpkg/optimization/casadi/PLIST
