diff --git a/equational-reasoning.cabal b/equational-reasoning.cabal
--- a/equational-reasoning.cabal
+++ b/equational-reasoning.cabal
@@ -2,23 +2,27 @@
 --  documentation, see http://haskell.org/cabal/users-guide/
 
 name:                equational-reasoning
-version:             0.0.4.0
+version:             0.0.4.1
 synopsis:            Proof assistant for Haskell using DataKinds & PolyKinds
--- description:         
+description:         A simple convenient library to write equational / preorder proof as in Agda.
 license:             BSD3
 license-file:        LICENSE
 author:              Hiromi ISHII
 maintainer:          konn.jinro_at_gmail.com
--- copyright:           
+copyright:           (c) Hiromi ISHII 2013-2014
 category:            Math
 build-type:          Simple
 cabal-version:       >=1.8
 
+source-repository head
+    type: git
+    location: git://github.com/konn/equational-reasoning-in-haskell.git
+
 library
   exposed-modules:     Proof.Equational, Proof.Propositional, Proof.Induction
-  build-depends:       base             == 4.6.*
+  build-depends:       base             >= 4      && < 5
                ,       singletons       == 0.8.*
                ,       tagged           == 0.6.*
                ,       void             == 0.6.*
-               ,       template-haskell == 2.8.*
+               ,       template-haskell >= 2.8    && < 2.11