-rw-r--r--  1 rbulk  robots  1151 Feb 25  2026 /local/robotpkg/var/lib/robotpkg/optimization/casadi/patches/patch-aa
-rw-r--r--  1 rbulk  robots  1434 Sep  8 20:41 /local/robotpkg/var/lib/robotpkg/optimization/casadi/Makefile.common
-rw-r--r--  1 rbulk  robots  241 Feb 12  2026 /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  303 Sep  8 20:41 /local/robotpkg/var/lib/robotpkg/optimization/casadi/distinfo
-rw-r--r--  1 rbulk  robots  578 Sep  8 20:41 /local/robotpkg/var/lib/robotpkg/optimization/casadi/patches/patch-ab
-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  2026 /local/robotpkg/var/lib/robotpkg/optimization/casadi/PLIST
