diff --git a/casadi-bindings-internal.cabal b/casadi-bindings-internal.cabal
--- a/casadi-bindings-internal.cabal
+++ b/casadi-bindings-internal.cabal
@@ -1,27 +1,15 @@
 name:                casadi-bindings-internal
-version:             0.1.2
+version:             0.1.2.1
 license:             LGPL-3
 license-file:        LICENSE
 category:            Numerical, Math
-copyright:           (c) 2013-2014 Greg Horn
+copyright:           (c) 2013-2015 Greg Horn
 author:              Greg Horn
 maintainer:          gregmainland@gmail.com
 build-type:          Simple
 cabal-version:       >=1.10
 synopsis:            low level bindings to CasADi
-description:
-    Debian/Ubuntu instructions
-    .
-    Version numbers correspond to the C++ library version numbers except the very last number which may indicate breaking changes.
-    .
-    This only works on Debian/Ubuntu at the moment (sorry).
-    .
-    Install libcasadi from a .deb package here: https://github.com/casadi/casadi/releases, I use libcasadi-shared. (Get the version corresponding to the current casadi-bindings version, for example casadi-bindings-1.9.0.0 is libcasadi 1.9.0)
-    .
-    Then,
-    - `cabal update; cabal install casadi-bindings`
-    .
-    Temporary note: there is something wrong with casadi and ipopt related to http://list.coin-or.org/pipermail/ipopt/2014-April/003670.html, and https://github.com/casadi/casadi/issues/1075. At the moment this .cabal package works for me as is, but YMMV
+description:         see <http://hackage.haskell.org/package/casadi-bindings http://hackage.haskell.org/package/casadi-bindings> for all instructions
 homepage:            http://github.com/ghorn/casadi-bindings