diff --git a/Changelog b/Changelog
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,15 @@
+lambdabot 5.1.0.1
+	* support ghc-8.0
+	* support haskell-src-exts 1.18+
+	* better oeis output
+	* #141, #149
+
+lambdabot 5.1
+	* support for dependent-sum 0.3 (#130)
+	* IRC reconnect support (#125, by Nikolay Amiantov)
+	* unmtl parsing fix (#129, by Daniel Wagner)
+	* #131, #138, #139, #140, #142, #143
+
 lambdabot 5.0.3
 	* compatibility with ghc-7.10: relax utf8-string upper bound
 	* numerous bugfixes (#121, #122, #123, #117, #98)
diff --git a/State/Pristine.hs.default b/State/Pristine.hs.default
--- a/State/Pristine.hs.default
+++ b/State/Pristine.hs.default
@@ -13,6 +13,7 @@
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE ImplicitParams #-}
 {-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE LiberalTypeSynonyms #-}
 {-# LANGUAGE MagicHash #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
@@ -46,6 +47,7 @@
 import Data.Either
 import Data.Eq
 import Data.Function
+import Data.Functor
 import Data.Int
 import Data.List
 import Data.Maybe
diff --git a/lambdabot.cabal b/lambdabot.cabal
--- a/lambdabot.cabal
+++ b/lambdabot.cabal
@@ -1,5 +1,5 @@
 name:                   lambdabot
-version:                5.1
+version:                5.1.0.1
 
 license:                GPL
 license-file:           LICENSE
@@ -15,7 +15,7 @@
                         It operates as a command line tool, embedded in an editor,
                         embedded in GHCi, via internet relay chat and on the web.
 
-homepage:               http://haskell.org/haskellwiki/Lambdabot
+homepage:               https://wiki.haskell.org/Lambdabot
 bug-reports:            https://github.com/lambdabot/lambdabot/issues
 
 build-type:             Simple
@@ -53,11 +53,11 @@
 
   ghc-options:          -Wall -threaded
   build-depends:        base                         >= 3 && < 5,
-                        lambdabot-core               >= 5.1 && < 5.2,
-                        lambdabot-haskell-plugins    >= 5.1 && < 5.2,
-                        lambdabot-irc-plugins        >= 5.1 && < 5.2,
-                        lambdabot-misc-plugins       >= 5.1 && < 5.2,
-                        lambdabot-novelty-plugins    >= 5.1 && < 5.2,
-                        lambdabot-reference-plugins  >= 5.1 && < 5.2,
-                        lambdabot-social-plugins     >= 5.1 && < 5.2,
+                        lambdabot-core               >= 5.1.0.1 && < 5.2,
+                        lambdabot-haskell-plugins    >= 5.1.0.1 && < 5.2,
+                        lambdabot-irc-plugins        >= 5.1.0.1 && < 5.2,
+                        lambdabot-misc-plugins       >= 5.1.0.1 && < 5.2,
+                        lambdabot-novelty-plugins    >= 5.1.0.1 && < 5.2,
+                        lambdabot-reference-plugins  >= 5.1.0.1 && < 5.2,
+                        lambdabot-social-plugins     >= 5.1.0.1 && < 5.2,
                         mtl                          >= 2