-rw-r--r-- 1 rbulk robots 212 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/distinfo
-rw-r--r-- 1 rbulk robots 2858 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/PLIST
-rw-r--r-- 1 rbulk robots 793 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/DESCR
-rw-r--r-- 1 rbulk robots 868 Sep  9 15:34 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/Makefile
-rw-r--r-- 1 rbulk robots 965 Sep 10 18:30 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/depend.mk
