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