-rw-r--r--  1 rbulk  robots  1396 Aug  7  2024 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-ac
-rw-r--r--  1 rbulk  robots  423 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/DESCR
-rw-r--r--  1 rbulk  robots  431 Feb  6 15:01 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/distinfo
-rw-r--r--  1 rbulk  robots  5074 Feb  6 15:01 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/PLIST
-rw-r--r--  1 rbulk  robots  518 Aug  7  2024 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-ad
-rw-r--r--  1 rbulk  robots  565 Feb  6 15:01 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-ae
-rw-r--r--  1 rbulk  robots  724 Feb  6 15:01 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/depend.mk
-rw-r--r--  1 rbulk  robots  967 Feb  6 15:01 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/Makefile
-rw-r--r--  1 rbulk  robots  991 Feb  6 15:01 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-aa
