diff --git a/README b/README
deleted file mode 100644
--- a/README
+++ /dev/null
@@ -1,11 +0,0 @@
-## linearEqSolver
-
-Solve systems of linear equations, using SMT solvers. Both integer only solutions and solutions
-over rationals are supported. Either single solutions, or all solutions can be computed.
-
-The hackage site http://hackage.haskell.org/package/linearEqSolver is the best place for details on the API and the example use cases.
-
-### Build Status
-
-We use Travis-CI's automated build infrastructure, making a build for each commit. Current build status:
-[![Build Status](https://secure.travis-ci.org/LeventErkok/linearEqSolver.png?branch=master)](http://travis-ci.org/LeventErkok/linearEqSolver)
diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,10 @@
+## linearEqSolver
+
+Solve systems of linear equations, using SMT solvers. Both integer only solutions and solutions
+over rationals are supported. Either single solutions, or all solutions can be computed.
+
+The hackage site http://hackage.haskell.org/package/linearEqSolver is the best place for details on the API and the example use cases.
+
+### Build Status
+
+[![Build Status](https://secure.travis-ci.org/LeventErkok/linearEqSolver.png?branch=master)](http://travis-ci.org/LeventErkok/linearEqSolver)
diff --git a/linearEqSolver.cabal b/linearEqSolver.cabal
--- a/linearEqSolver.cabal
+++ b/linearEqSolver.cabal
@@ -1,5 +1,5 @@
 Name:          linearEqSolver
-Version:       2.1
+Version:       2.2
 Category:      Math, SMT
 Synopsis:      Use SMT solvers to solve linear systems over integers and rationals
 Description:   Solve linear systems of equations over integers and rationals, using an SMT solver.
@@ -20,7 +20,7 @@
 Maintainer:    Levent Erkok (erkokl@gmail.com)
 Build-Type:    Simple
 Cabal-Version: 1.14
-Extra-Source-Files: INSTALL, README, COPYRIGHT, CHANGES.md
+Extra-Source-Files: INSTALL, README.md, COPYRIGHT, CHANGES.md
 
 source-repository head
     type:       git