-rw-r--r-- 1 rbulk robots 431 Aug  7 13:56 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/distinfo
-rw-r--r-- 1 rbulk robots 5037 Aug  7 13:56 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/PLIST
-rw-r--r-- 1 rbulk robots 565 Feb  6  2026 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-ae
-rw-r--r-- 1 rbulk robots 724 Feb  6  2026 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/depend.mk
-rw-r--r-- 1 rbulk robots 921 Sep  9 20:04 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/Makefile
-rw-r--r-- 1 rbulk robots 991 Feb  6  2026 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-aa
-rw-r--r--. 1 rbulk robots 1396 Apr 24  2025 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-ac
-rw-r--r--. 1 rbulk robots 423 Apr 24  2025 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/DESCR
-rw-r--r--. 1 rbulk robots 518 Apr 24  2025 /local/robotpkg/var/lib/robotpkg/optimization/proxsuite/patches/patch-ad
