| Parent directory/ | - | - |
| coin-or-Ipopt-3.13.0-10.el7.armv7hl.rpm | 698408 | 2021-Jan-30 12:58 |
| coin-or-Ipopt-common-3.13.0-10.el7.noarch.rpm | 2762560 | 2021-Jan-30 12:58 |
| coin-or-Ipopt-debuginfo-3.13.0-10.el7.armv7hl.rpm | 27354736 | 2021-Jan-30 12:58 |
| coin-or-Ipopt-devel-3.13.0-10.el7.armv7hl.rpm | 200804 | 2021-Jan-30 12:58 |
| coin-or-Ipopt-mpich-3.13.0-10.el7.armv7hl.rpm | 697300 | 2021-Jan-30 12:58 |
| coin-or-Ipopt-mpich-devel-3.13.0-10.el7.armv7hl.rpm | 202056 | 2021-Jan-30 12:58 |
| coin-or-Ipopt-openmpi-3.13.0-10.el7.armv7hl.rpm | 696664 | 2021-Jan-30 12:58 |
| coin-or-Ipopt-openmpi-devel-3.13.0-10.el7.armv7hl.rpm | 202044 | 2021-Jan-30 12:58 |