-rw-r--r-- 1 rbulk robots 1291 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/patches/patch-aa
-rw-r--r-- 1 rbulk robots 1296 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/Makefile
-rw-r--r-- 1 rbulk robots 1993 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/patches/patch-ab
-rw-r--r-- 1 rbulk robots 487 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/patches/patch-ae
-rw-r--r-- 1 rbulk robots 494 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/distinfo
-rw-r--r-- 1 rbulk robots 5187 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/PLIST
-rw-r--r-- 1 rbulk robots 593 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/DESCR
-rw-r--r-- 1 rbulk robots 6017 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/patches/patch-ad
-rw-r--r-- 1 rbulk robots 730 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/patches/patch-ac
-rw-r--r-- 1 rbulk robots 914 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/roboptim-core/depend.mk
