aboutsummaryrefslogtreecommitdiff
path: root/ports/ceres/CONTROL
diff options
context:
space:
mode:
Diffstat (limited to 'ports/ceres/CONTROL')
-rw-r--r--ports/ceres/CONTROL2
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/ceres/CONTROL b/ports/ceres/CONTROL
index ecd8f1de6..5870df378 100644
--- a/ports/ceres/CONTROL
+++ b/ports/ceres/CONTROL
@@ -1,6 +1,6 @@
Source: ceres
Version: 1.14.0
-Port-Version: 8
+Port-Version: 9
Build-Depends: glog, eigen3
Homepage: https://github.com/ceres-solver/ceres-solver
Description: non-linear optimization package