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