-rw-r--r--  1 rbulk  robots  1151 Feb 25 15:32 /local/robotpkg/var/lib/robotpkg/optimization/casadi/patches/patch-aa
-rw-r--r--  1 rbulk  robots  1398 Feb 25 15:32 /local/robotpkg/var/lib/robotpkg/optimization/casadi/Makefile.common
-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  244 Feb 25 15:32 /local/robotpkg/var/lib/robotpkg/optimization/casadi/distinfo
-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  9143 Feb 25 15:32 /local/robotpkg/var/lib/robotpkg/optimization/casadi/PLIST
