-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 Apr  3  2024 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/DESCR
-rw-r--r-- 1 rbulk robots 431 Feb  6 14:58 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/distinfo
-rw-r--r-- 1 rbulk robots 5074 Feb  6 14:58 /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 14:58 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-ae
-rw-r--r-- 1 rbulk robots 724 Feb  6 14:58 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/depend.mk
-rw-r--r-- 1 rbulk robots 967 Feb  6 14:58 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/Makefile
-rw-r--r-- 1 rbulk robots 991 Feb  6 14:58 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-aa
