diff options
| -rw-r--r-- | ports/ceres/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/ceres/CONTROL b/ports/ceres/CONTROL index 673fa5fdc..4c8cf30a8 100644 --- a/ports/ceres/CONTROL +++ b/ports/ceres/CONTROL @@ -1,4 +1,4 @@ Source: ceres -Version: 1.12.0-3 +Version: 1.12.0-4 Build-Depends:suitesparse, eigen3, clapack, gflags, glog Description: non-linear optimization package
\ No newline at end of file |