diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.org/leepike/Copilot.svg?branch=master)](https://travis-ci.org/leepike/Copilot)
+[![Build Status](https://travis-ci.org/Copilot-Language/Copilot.svg?branch=master)](https://travis-ci.org/Copilot-Language/Copilot)
 
 Copilot: a stream DSL
 ====================================
@@ -39,7 +39,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/leepike/copilot-discussion)
+* [copilot-discussion](https://github.com/Copilot-Language/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
@@ -56,24 +56,39 @@
 
 Installation
 ============
-The Copilot library is cabalized. Assuming you have cabal and the GHC compiler
-installed (the [Haskell Platform](http://hackage.haskell.org/platform/) is the
-easiest way to obtain these), it should merely be a matter of running 
-     
-         cabal install copilot
-	 
-with an Internet connection.  Please see the INSTALL file for installation
-details.
 
+* From Hackage:
+
+  The Copilot library is cabalized. Assuming you have cabal and the GHC compiler
+  installed (the [Haskell Platform](http://hackage.haskell.org/platform/) is the
+  easiest way to obtain these), it should merely be a matter of running
+
+           cabal install copilot
+
+  with an Internet connection.  Please see the INSTALL file for installation
+  details.
+
+* From GitHub:
+
+           git clone https://github.com/Copilot-Language/Copilot.git
+           git submodule update --init
+           make test
+
 Once the installation is done, you can run the executable `XXX` which will
 execute the regression test suite for sbv on your machine.
 
+Note there is a TravisCI build (linked to at the top of this README) if you have
+trouble building/installing.
+
 Dependencies
 =============
 copilot-cbmc depends on the C model-checker, CBMC.
 [CBMC](http://www.cprover.org/cbmc/) is a bounded model-checker for C code.  We
 use CBMC to prove that two back-ends generating C generate semantically
 equivalent C, to help detect bugs in C back-ends.
+
+For compiling it with CompCert (activated by default for SBV backend), you need
+to install it, with its Standard C library ( http://compcert.inria.fr/ ).
 
 Copyright, License
 ==================
diff --git a/copilot.cabal b/copilot.cabal
--- a/copilot.cabal
+++ b/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             2.1.2
+version:             2.2.0
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -38,14 +38,14 @@
       -fno-warn-orphans
     build-depends:
                        base >= 4.0 && < 5
-                     , copilot-core >= 2.1.2
-                     , copilot-language >= 2.1.2
-                     , copilot-libraries >= 2.1.1
-                     , copilot-sbv >= 0.6
-                     , copilot-cbmc >= 2.1.2
-                     , copilot-c99 >= 2.1.2
+                     , copilot-core == 2.2.0
+                     , copilot-theorem == 0.2
+                     , copilot-language == 2.2.0
+                     , copilot-libraries == 2.2.0
+                     , copilot-sbv == 2.2.0
+                     , copilot-cbmc == 2.1.2
+                     , copilot-c99 == 2.2.0
 
---                     , copilot-cbmc
     exposed-modules: Language.Copilot
 
 executable copilot-regression
@@ -55,13 +55,14 @@
   main-is                 : Test.hs
   build-depends:
                      base >= 4.0 && < 5
-                   , copilot-core >= 2.1.2
-                   , copilot-language >= 2.1.2
-                   , copilot-libraries >= 2.1.1
-                   , copilot-sbv >= 0.6
-                   , copilot-cbmc >= 2.1.2
-                   , copilot-c99 >= 2.1.2
-                   , directory >= 1.1
+                   , copilot-core == 2.2.0
+                   , copilot-theorem == 0.2
+                   , copilot-language == 2.2.0
+                   , copilot-libraries == 2.2.0
+                   , copilot-sbv == 2.2.0
+                   , copilot-cbmc == 2.1.2
+                   , copilot-c99 == 2.2.0
+                   , directory >= 1.2.1
                    , random
   other-modules:    AddMult
                   , Array