diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,33 @@
+[![Build Status](https://travis-ci.org/Copilot-Language/copilot-libraries.svg?branch=master)](https://travis-ci.org/Copilot-Language/copilot-libraries)
+
+# Copilot: a stream DSL
+User-supplied libraries for Copilot, including linear-temporal logic,
+fault-tolerant voting, regular expressions, etc.
+
+Copilot is a runtime verification framework written in Haskell. It allows the
+user to write programs in a simple but powerful way using a stream-based
+approach.
+
+Programs can be interpreted for testing, or translated C99 code to be
+incorporated in a project, or as a standalone application. The C99 backend
+ensures us that the output is constant in memory and time, making it suitable
+for systems with hard realtime requirements.
+
+
+## Installation
+Copilot-libraries can be found on
+[Hackage](https://hackage.haskell.org/package/copilot-libraries). It is typically
+only installed as part of the complete Copilot distribution. For installation
+instructions, please refer to the [Copilot
+website](https://copilot-language.github.io).
+
+
+## Further information
+For further information, install instructions and documentation, please visit
+the Copilot website:
+[https://copilot-language.github.io](https://copilot-language.github.io)
+
+
+## License
+Copilot is distributed under the BSD-3-Clause license, which can be found
+[here](https://raw.githubusercontent.com/Copilot-Language/copilot-libraries/master/LICENSE).
diff --git a/copilot-libraries.cabal b/copilot-libraries.cabal
--- a/copilot-libraries.cabal
+++ b/copilot-libraries.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-libraries
-version:             2.2.1
+version:             3.0
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -9,20 +9,21 @@
   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/leepike/copilot-discussion>.
+  <https://github.com/Copilot-Language/copilot-discussion>.
   .
   Examples are available at
   <https://github.com/Copilot-Language/Copilot/tree/master/Examples>.
 
 license:             BSD3
 license-file:        LICENSE
-author:              Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller,
-                     Nis Nordby Wegmann
+author:              Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,
+                     Sebastian Niller, Nis Nordby Wegmann
 homepage:            https://github.com/Copilot-Language/copilot-libraries
-maintainer:          leepike@gmail.com
+maintainer:          Frank Dedden <dev@dedden.net>
 stability:           Experimental
 category:            Language, Embedded
 build-type:          Simple
+extra-source-files:  README.md
 
 source-repository head
     type:       git
@@ -33,14 +34,15 @@
 
   hs-source-dirs: src
 
-  build-depends:
-    array,
-    base >= 4.0 && <= 5.0,
-    containers,
-    copilot-language == 2.2.1,
-    parsec >= 2.0,
-    mtl >= 2.0
+  build-depends: base             >= 4.9 && < 5
 
+               , array            >= 0.5 && < 0.6
+               , containers       >= 0.4 && < 0.7
+               , data-reify       >= 0.6 && < 0.7
+               , mtl              >= 2.0 && < 2.3
+               , parsec           >= 2.0 && < 3.2
+               , copilot-language >= 3.0 && < 3.1
+
   exposed-modules:
       Copilot.Library.Libraries
     , Copilot.Library.Clocks
@@ -55,6 +57,4 @@
 
   ghc-options:
     -fwarn-tabs
-    -auto-all
-    -caf-all
     -Wall