-rw-r--r-- 1 rbulk robots 1547 Sep 11 20:01 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-aa
-rw-r--r-- 1 rbulk robots 1599 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ae
-rw-r--r-- 1 rbulk robots 25486 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/acado/PLIST
-rw-r--r-- 1 rbulk robots 305 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/acado/DESCR
-rw-r--r-- 1 rbulk robots 445 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-af
-rw-r--r-- 1 rbulk robots 466 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ac
-rw-r--r-- 1 rbulk robots 520 Sep 11 20:01 /local/robotpkg/var/lib/robotpkg/optimization/acado/distinfo
-rw-r--r-- 1 rbulk robots 612 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/acado/depend.mk
-rw-r--r-- 1 rbulk robots 831 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/acado/Makefile
-rw-r--r-- 1 rbulk robots 971 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ad
-rw-r--r-- 1 rbulk robots 990 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ab
