-rw-r--r-- 1 rbulk robots 212 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/distinfo
-rw-r--r-- 1 rbulk robots 2858 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/PLIST
-rw-r--r-- 1 rbulk robots 792 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/depend.mk
-rw-r--r-- 1 rbulk robots 793 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/DESCR
-rw-r--r-- 1 rbulk robots 868 Sep  1 11:47 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/Makefile
