-rw-r--r-- 1 rbulk robots 1599 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ae
-rw-r--r-- 1 rbulk robots 25486 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/acado/PLIST
-rw-r--r-- 1 rbulk robots 305 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/acado/DESCR
-rw-r--r-- 1 rbulk robots 445 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-af
-rw-r--r-- 1 rbulk robots 466 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ac
-rw-r--r-- 1 rbulk robots 520 Sep  3 17:17 /local/robotpkg/var/lib/robotpkg/optimization/acado/distinfo
-rw-r--r-- 1 rbulk robots 612 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/acado/depend.mk
-rw-r--r-- 1 rbulk robots 667 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-aa
-rw-r--r-- 1 rbulk robots 831 Sep  2 16:51 /local/robotpkg/var/lib/robotpkg/optimization/acado/Makefile
-rw-r--r-- 1 rbulk robots 971 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ad
-rw-r--r-- 1 rbulk robots 990 Sep  2 16:51 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ab
