-rw-r--r-- 1 rbulk robots 1151 Feb 25 15:35 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/patches/patch-af
-rw-r--r-- 1 rbulk robots 11810 Feb  6 15:09 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/patches/patch-ae
-rw-r--r-- 1 rbulk robots 279 Jul 29  2021 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/DESCR
-rw-r--r-- 1 rbulk robots 303 Feb 25 15:35 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/distinfo
-rw-r--r-- 1 rbulk robots 603 Feb 12 17:59 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/PLIST
-rw-r--r-- 1 rbulk robots 701 Feb 25 15:35 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/Makefile
-rw-r--r-- 1 rbulk robots 736 Nov 24  2022 /local/robotpkg/var/lib/robotpkg/optimization/py-casadi/depend.mk
