diff --git a/Mdgen/Cli.lean b/Mdgen/Cli.lean
index 1fb65e3..2c6d63a 100644
--- a/Mdgen/Cli.lean
+++ b/Mdgen/Cli.lean
@@ -23,7 +23,7 @@ def runMdgenCmd (p : Parsed) : IO UInt32 := do
   return 0
 
 def mkMdgenCmd : Cmd := `[Cli|
-  mdgen VIA runMdgenCmd; ["1.4.1"]
+  mdgen VIA runMdgenCmd; ["1.5.0"]
   "mdgen is a tool to generate .md files from .lean files."
 
   ARGS:
diff --git a/lakefile.lean b/lakefile.lean
index c8813a3..a1c3e16 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -2,7 +2,7 @@ import Lake
 open Lake DSL
 
 package «mdgen» where
-  version := v!"1.4.1"
+  version := v!"1.5.0"
   keywords := #["cli", "markdown"]
   description := "Tool to generate markdown files from lean files."