diff --git a/cbits/Cbc.h b/cbits/Cbc.h
new file mode 100644
--- /dev/null
+++ b/cbits/Cbc.h
@@ -0,0 +1,35 @@
+
+#ifdef FROM_CPP
+extern "C" {
+#else
+typedef struct CbcModel CbcModel;
+#endif
+
+CbcModel* newModel();
+void    freeModel(CbcModel* model);
+
+void    loadProblem(CbcModel* model, int ncols,    int nrows,
+                    int* starts,     int* indices, double* values,
+                    double* collb,   double* colub,
+                    double* obj,
+                    double* rowlb, double* rowub);
+
+void    setInteger (CbcModel* model, int col);
+
+void    branchAndBound (CbcModel* model);
+
+int getNumCols (CbcModel* model);
+
+const double* getBestSolution (CbcModel* model);
+
+void setObjSense(CbcModel* model, double dir);
+
+void setLogLevel(CbcModel* model, int level);
+
+int isProvenInfeasible(CbcModel* model);
+
+double getCoinDblMax();
+
+#ifdef FROM_CPP
+}
+#endif
diff --git a/limp-cbc.cabal b/limp-cbc.cabal
--- a/limp-cbc.cabal
+++ b/limp-cbc.cabal
@@ -1,5 +1,5 @@
 name:                limp-cbc
-version:             0.3.0.0
+version:             0.3.1.0
 synopsis:            bindings for integer linear programming solver Coin/CBC
 description:         very simple binding to external solver, CBC.
                      CBC is somewhat faster than GLPK, and also has a more permissive licence.
@@ -9,7 +9,7 @@
 license-file:        LICENSE
 author:              Amos Robinson
 maintainer:          amos.robinson@gmail.com
-category:            numeric
+category:            Numeric
 build-type:          Simple
 cabal-version:       >=1.10
 homepage:            https://github.com/amosr/limp-cbc
@@ -34,7 +34,7 @@
         base        < 5,
         containers  == 0.5.*,
         vector      == 0.10.*,
-        limp        == 0.3.*
+        limp        == 0.3.1.*
 
   ghc-options: -Wall -fno-warn-orphans
   default-language: Haskell2010
@@ -46,6 +46,7 @@
   Include-dirs:     cbits
   includes:         Cbc.h coin/Cbc_C_Interface.h
   C-sources:        cbits/Cbc.cpp
+  install-includes: cbits/Cbc.h
 
 test-suite test
   type:     exitcode-stdio-1.0