Flagged Out-of-Date Comment: roboptim-core-plugin-ipopt-git

a821 flagged roboptim-core-plugin-ipopt-git out-of-date on 2023-07-11 (UTC) for the following reason:

Please replace `eigen3` with just `eigen` from official repos. For the other dependency, please read the last comment.