diff --git a/boolsimplifier.cabal b/boolsimplifier.cabal
--- a/boolsimplifier.cabal
+++ b/boolsimplifier.cabal
@@ -1,24 +1,22 @@
 Name:                boolsimplifier
-Version:             0.1
-Synopsis:            Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.
+Version:             0.1.5
+Synopsis:            Simplification tools for simple propositional formuals.
 
--- A longer description of the package.
--- Description:         
+Description:         Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.
 
 License:             BSD3
 License-file:        LICENSE
 Author:              Gershom Bazerman, Jeff Polakow
 Maintainer:          gershomb@gmail.com
 
--- A copyright notice.
--- Copyright:           
+Copyright:           Gershom Bazerman, Jeff Polakow 2011
 
 Category:            Math, Language
 
 Build-type:          Simple
 
 -- Constraint on the version of Cabal needed to build this package.
-Cabal-version:       >=1.2
+Cabal-version:       >=1.6
 
 
 Library
@@ -36,3 +34,6 @@
   -- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
   -- Build-tools:         
   
+source-repository head
+  type:      darcs
+  location:  http://patch-tag.com/r/gershomb/boolsimplifier