diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,5 +1,7 @@
 CHANGELOG for MiniAgda
 
+0.2018.11.6   Tested compilation with 8.6.2.
+
 0.2018.11.4   Fixed compilation with ghc 8.4 and 8.6.
 
 0.2017.02.18  Updated install instructions.
diff --git a/MiniAgda.cabal b/MiniAgda.cabal
--- a/MiniAgda.cabal
+++ b/MiniAgda.cabal
@@ -1,5 +1,5 @@
 name:            MiniAgda
-version:         0.2018.11.4
+version:         0.2018.11.6
 build-type:      Simple
 cabal-version:   1.24
 license:         OtherLicense
@@ -28,6 +28,7 @@
                     GHC == 8.0.2
                     GHC == 8.2.2
                     GHC == 8.4.4
+                    GHC == 8.6.2
 
 extra-source-files: Makefile
                     CHANGELOG
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -9,7 +9,7 @@
   cabal update
   cabal install alex
   cabal install happy
-  cabal install miniagda
+  cabal install MiniAgda
 ```
 
 ## Examples