From 2a342a0f171e4ab76d4470e5a02ec240aec8f0e0 Mon Sep 17 00:00:00 2001
From: jasjuang <jasjuang@gmail.com>
Date: Tue, 18 Jul 2017 18:03:00 -0700
Subject: [PATCH] bump version number

---
 ports/ceres/CONTROL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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