diff --git a/hakyll-agda.cabal b/hakyll-agda.cabal
--- a/hakyll-agda.cabal
+++ b/hakyll-agda.cabal
@@ -1,6 +1,6 @@
 Cabal-version:      >= 1.6
 Name:               hakyll-agda
-Version:            0.1.4
+Version:            0.1.5
 Author:             Francesco Mazzoli (f@mazzo.li)
 Maintainer:         Francesco Mazzoli (f@mazzo.li)
 Build-Type:         Simple
@@ -20,15 +20,15 @@
     location: git://github.com/bitonic/hakyll-agda.git
 
 Library
-    Build-Depends:    base >= 3 && < 5,
-                      hakyll >= 4.3 && < 5,
-                      Agda >= 2.3 && < 3,
-                      pandoc >= 1.10 && < 2,
-                      xhtml >= 3000.2 && < 3000.3,
-                      filepath >= 1.3 && < 2,
-                      directory >= 1.1 && < 2,
-                      containers >= 0.4.2 && < 0.6,
-                      mtl >= 2.1 && < 3,
-                      transformers >= 0.3 && < 0.4
-    GHC-Options:      -Wall
+    Build-Depends:    base         >= 3      && < 5,
+                      Agda         >= 2.3    && < 3,
+                      containers   >= 0.3    && < 0.6,
+                      directory    >= 1      && < 2,
+                      filepath     >= 1      && < 2,
+                      hakyll       >= 4.3    && < 5,
+                      mtl          >= 2      && < 3,
+                      pandoc       >= 1.10   && < 2,
+                      transformers >= 0.3    && < 0.4,
+                      xhtml        >= 3000.2 && < 3000.3
+    GHC-Options:      -Wall -O2
     Exposed-Modules:  Hakyll.Web.Agda