diff --git a/apps/CHANGES.md b/apps/CHANGES.md
index 60ba0b14..3411c440 100644
--- a/apps/CHANGES.md
+++ b/apps/CHANGES.md
@@ -1,6 +1,10 @@
 Changelog for lol project
 ================================
 
+0.2.0.0
+----
+ * Updated documentation with MathJax
+
 0.1.0.0
 -----
  * Updated for lol-0.3.*
diff --git a/apps/lol-apps.cabal b/apps/lol-apps.cabal
index d1898c2c..02ff833a 100644
--- a/apps/lol-apps.cabal
+++ b/apps/lol-apps.cabal
@@ -5,7 +5,7 @@ name:                lol-apps
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.1.0.0
+version:             0.1.1.0
 synopsis:            Lattice-based cryptographic applications using Lol.
 homepage:            https://github.com/cpeikert/Lol
 Bug-Reports:         https://github.com/cpeikert/Lol/issues
@@ -66,7 +66,7 @@ library
   build-depends:
     base>=4.8 && <5,
     deepseq >= 1.4.1.1 && <1.5,
-    lol == 0.3.*,
+    lol >= 0.3 && < 0.5,
     MonadRandom >= 0.2 && < 0.5,
     numeric-prelude >= 0.4.2 && < 0.5
 
diff --git a/lol/CHANGES.md b/lol/CHANGES.md
index 8aeb0a1c..d4ff495b 100644
--- a/lol/CHANGES.md
+++ b/lol/CHANGES.md
@@ -1,6 +1,13 @@
 Changelog for lol project
 ================================
 
+0.4.0.0
+----
+ * Added support for GHC 8.0, also compatible with 7.10.3
+ * Converted documentation to MathJax
+ * Renamed Tensor.Matrix -> Tensor.Kron
+ * Added Crypto.Lol.Types interface file
+
 0.3.0.0
 -----
  * Support for protocol-buffers
diff --git a/lol/lol.cabal b/lol/lol.cabal
index 9885d2fb..53c3c0dc 100644
--- a/lol/lol.cabal
+++ b/lol/lol.cabal
@@ -5,7 +5,7 @@ name:                lol
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.3.0.0
+version:             0.4.0.0
 synopsis:            A library for lattice cryptography.
 homepage:            https://github.com/cpeikert/Lol
 Bug-Reports:         https://github.com/cpeikert/Lol/issues