../ Ipopt.SlackBuild 19-Jun-2023 20:03 3318 Ipopt.info 19-Jun-2023 20:03 298 README 19-Jun-2023 20:03 857 slack-desc 19-Jun-2023 20:03 865