-rw-r--r--  1 rbulk  robots  1151 Feb 25 15:32 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/patches/patch-af
-rw-r--r--  1 rbulk  robots  11810 Feb  6 15:01 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/patches/patch-ae
-rw-r--r--  1 rbulk  robots  279 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/DESCR
-rw-r--r--  1 rbulk  robots  303 Feb 25 15:32 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/distinfo
-rw-r--r--  1 rbulk  robots  603 Feb 12 18:09 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/PLIST
-rw-r--r--  1 rbulk  robots  701 Feb 25 15:32 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/Makefile
-rw-r--r--  1 rbulk  robots  736 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/depend.mk
