diff --git a/copilot-libraries.cabal b/copilot-libraries.cabal
--- a/copilot-libraries.cabal
+++ b/copilot-libraries.cabal
@@ -1,17 +1,17 @@
 cabal-version:       >=1.10
 name:                copilot-libraries
-version:             0.6
+version:             2.1.1
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
-description:         
+description:
   Libraries for the Copilot language.
-  . 
+  .
   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>.
 
@@ -19,14 +19,14 @@
 license-file:        LICENSE
 author:              Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller,
                      Nis Nordby Wegmann
-maintainer:          niswegmann@gmail.com
+maintainer:          leepike@gmail.com
 stability:           Experimental
 category:            Language, Embedded
 build-type:          Simple
 
 source-repository head
     type:       git
-    location:   git://github.com/niswegmann/copilot-libraries.git
+    location:   git://github.com/leepike/copilot-libraries.git
 
 library
   default-language: Haskell2010
@@ -35,7 +35,7 @@
 
   build-depends:
     array,
-    base >= 4.0 && < 5,
+    base >= 4.0 && <= 5.0,
     containers,
     copilot-language,
     parsec >= 2.0,