-rw-r--r-- 1 rbulk robots 1547 Sep 12 03:54 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-aa
-rw-r--r-- 1 rbulk robots 520 Sep 12 03:54 /local/robotpkg/var/lib/robotpkg/optimization/acado/distinfo
-rw-r--r--. 1 rbulk robots 1599 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ae
-rw-r--r--. 1 rbulk robots 25486 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/acado/PLIST
-rw-r--r--. 1 rbulk robots 305 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/acado/DESCR
-rw-r--r--. 1 rbulk robots 445 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-af
-rw-r--r--. 1 rbulk robots 466 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ac
-rw-r--r--. 1 rbulk robots 612 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/acado/depend.mk
-rw-r--r--. 1 rbulk robots 831 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/acado/Makefile
-rw-r--r--. 1 rbulk robots 971 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ad
-rw-r--r--. 1 rbulk robots 990 Sep  7 16:12 /local/robotpkg/var/lib/robotpkg/optimization/acado/patches/patch-ab
