diff --git a/copilot-sbv.cabal b/copilot-sbv.cabal
--- a/copilot-sbv.cabal
+++ b/copilot-sbv.cabal
@@ -1,8 +1,19 @@
 cabal-version             : >= 1.10
 name                      : copilot-sbv
-version                   : 0.4
+version                   : 0.5
 synopsis                  : A compiler for CoPilot targeting SBV.
-description               : Blah blah blah...
+description               : 
+  The Copilot back-end targeting SBV <http://hackage.haskell.org/package/sbv>.
+  . 
+  Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
+  Haskell that compiles into embedded C.  Copilot contains an interpreter,
+  multiple back-end compilers, and other verification tools.  A tutorial, bug
+  reports, and todos are available at
+  <https://github.com/niswegmann/copilot-discussion>.  
+  .  
+  Examples are available at
+  <https://github.com/leepike/Copilot/tree/master/Examples>.
+
 license                   : BSD3
 license-file              : LICENSE
 maintainer                : leepike@galois.com
@@ -27,7 +38,7 @@
   ghc-options             : -Wall -fwarn-tabs
   ghc-prof-options        : -auto-all -caf-all
 
-  build-depends           : sbv >= 0.9.21
+  build-depends           : sbv >= 1.0
                           , base >= 4.3 && < 5
                           , containers >= 0.4
                           , copilot-core