diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,10 @@
+2021-11-07
+        * Version bump (3.6). (#264)
+        * Fix missing dependency in example executable. (#252)
+        * Fix outdated/broken links. (#252)
+        * Update installation instructions in README to
+          match new repo structure. (#248)
+
 2021-08-19
         * Version bump (3.5). (#247)
         * Update travis domain in README. (#222)
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Copilot: Stream DSL for hard real-time runtime verification
 
-[![Build Status](https://travis-ci.com/Copilot-Language/Copilot.svg?branch=master)](https://travis-ci.com/Copilot-Language/Copilot)
+[![Build Status](https://travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
 [![Version on Hackage](https://img.shields.io/hackage/v/copilot.svg)](https://hackage.haskell.org/package/copilot)
 
 Copilot is a runtime verification framework written in Haskell. It allows the
@@ -57,13 +57,15 @@
   _Nix-Style build (Cabal >= 2.x)_
 
   ```bash
-  cabal build       # For Cabal 3.x
-  cabal v2-build    # For Cabal 2.x
+  cabal build copilot-*/    # For Cabal 3.x
+  cabal v2-build copilot-*/ # For Cabal 2.x
   ```
 
   _Traditional build (Cabal 1.x)_
   ```bash
-  cabal install --dependencies-only
+  cd copilot
+  cabal install --dependencies-only . ../copilot-*/
+  cabal install ../copilot-*/
   cabal build
   ```
 
@@ -74,7 +76,7 @@
 ## Example
 Here follows a simple example of a heating system. Other examples can be found
 in the [examples
-directory](https://github.com/Copilot-Language/Copilot/tree/master/examples)
+directory](https://github.com/Copilot-Language/copilot/tree/master/copilot/examples)
 of the main repository.
 
 ```haskell
@@ -168,7 +170,7 @@
 
 ## License
 Copilot is distributed under the BSD-3-Clause license, which can be found
-[here](https://raw.githubusercontent.com/Copilot-Language/Copilot/master/LICENSE).
+[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/copilot/LICENSE).
 
 
 ## The Copilot Team
diff --git a/copilot.cabal b/copilot.cabal
--- a/copilot.cabal
+++ b/copilot.cabal
@@ -1,5 +1,5 @@
 name:                copilot
-version:             3.5
+version:             3.6
 cabal-version:       >= 1.10
 license:             BSD3
 license-file:        LICENSE
@@ -30,7 +30,7 @@
 
 source-repository head
     type:       git
-    location:   https://github.com/Copilot-Language/Copilot.git
+    location:   https://github.com/Copilot-Language/copilot.git
 
 flag examples
     description: Enable examples
@@ -50,11 +50,11 @@
                      , directory            >= 1.3  && < 1.4
                      , filepath             >= 1.4  && < 1.5
 
-                     , copilot-core         >= 3.5  && < 3.6
-                     , copilot-theorem      >= 3.5  && < 3.6
-                     , copilot-language     >= 3.5  && < 3.6
-                     , copilot-libraries    >= 3.5  && < 3.6
-                     , copilot-c99          >= 3.5  && < 3.6
+                     , copilot-core         >= 3.6  && < 3.7
+                     , copilot-theorem      >= 3.6  && < 3.7
+                     , copilot-language     >= 3.6  && < 3.7
+                     , copilot-libraries    >= 3.6  && < 3.7
+                     , copilot-c99          >= 3.6  && < 3.7
 
 
     exposed-modules: Language.Copilot, Language.Copilot.Main
@@ -162,6 +162,7 @@
     hs-source-dirs:     examples
     build-depends:      base              >= 4.9  && < 5
                       , copilot
+                      , copilot-c99
     default-language:   Haskell2010
     if flag(examples)
       buildable: True