update version string

Seasawher · Oct 6, 2024 · ea278cb · ea278cb
1 parent 725a4e5
commit ea278cb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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."