-rw-r--r--  1 rbulk  robots  212 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/distinfo
-rw-r--r--  1 rbulk  robots  2858 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/PLIST
-rw-r--r--  1 rbulk  robots  793 Aug  5  2024 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/DESCR
-rw-r--r--  1 rbulk  robots  868 May 22  2025 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/Makefile
-rw-r--r--  1 rbulk  robots  965 Sep  9 19:57 /local/robotpkg/var/lib/robotpkg/optimization/ipopt/depend.mk
