aboutsummaryrefslogtreecommitdiff
path: root/ports/ceres/CONTROL
AgeCommit message (Expand)Author
2017-07-18bump version numberjasjuang
2017-07-18Merge master with #1475Robert Schumacher
2017-07-18[ceres] Bump version for PR #1469Robert Schumacher
2017-07-11[ceres] Portfile fixArkady Shapkin
2017-06-13[ceres][suitesparse] Bump versionRobert Schumacher
2017-06-09Updated the ceres portmmazaherit