diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -8,7 +8,8 @@
 Resources
 =========
 Copilot is comprised of a number of sub-projects which are automatically
-installed when you install Copilot from Hackage, as described below:
+installed when you install Copilot from Hackage, as described below.  (These are
+tracked as Git submodules in Copilot.)
 
 * [copilot-language](http://hackage.haskell.org/package/copilot-language) The
   front-end of Copilot defining the user language.
@@ -36,7 +37,7 @@
   that translates to [SBV](http://hackage.haskell.org/package/sbv), using its
   code generator to generate hard real-time C code as well.  The ad
 
-* [copilot-discussion](https://github.com/niswegmann/copilot-discussion)
+* [copilot-discussion](https://github.com/leepike/copilot-discussion)
   Contains a tutorial, todos, and other items regarding the Copilot system.
 
 **Sources** for each package are available on Github as well.  Just go to
diff --git a/copilot.cabal b/copilot.cabal
--- a/copilot.cabal
+++ b/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             2.1.0
+version:             2.1.1
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -10,15 +10,15 @@
 category:            Language, Embedded
 homepage:            http://leepike.github.com/Copilot/
 stability:           Experimental
-description:         
+description:
   This package is the main entry-point for using Copilot.
-  .   
+  .
   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>.  
-  .  
+  <https://github.com/leepike/copilot-discussion>.
+  .
   Examples are available at <https://github.com/leepike/Copilot/tree/master/Examples>.
 
 extra-source-files:  README.md
@@ -30,18 +30,18 @@
 library
     hs-source-dirs: src
     default-language:  Haskell2010
-    ghc-options:     
+    ghc-options:
       -Wall
       -fwarn-tabs
       -auto-all
       -caf-all
       -fno-warn-orphans
     build-depends:
-                       base >= 4.0 && <5
+                       base >= 4.0 && <= 5.0
                      , copilot-core >= 0.2.3
                      , copilot-language >= 0.4
                      , copilot-libraries >= 0.4
-                     , copilot-cbmc
+--                     , copilot-cbmc
     exposed-modules: Language.Copilot
 
 executable copilot-regression
@@ -54,7 +54,7 @@
                    , copilot-core
                    , copilot-language
                    , copilot-libraries
-                   , copilot-sbv
+                   , copilot-sbv >= 0.6
                    , copilot-cbmc
                    , copilot-c99 >= 0.2
                    , directory >= 1.1