update version number

Seasawher · Jan 4, 2025 · 0ca20e8 · 0ca20e8
1 parent 5d6b3a6
commit 0ca20e8
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
@@ -33,7 +33,7 @@ def runMdgenCmd (p : Parsed) : IO UInt32 := do
 
 /-- API definition of `mdgen` command -/
 def mkMdgenCmd : Cmd := `[Cli|
-  mdgen VIA runMdgenCmd; ["1.7.0"]
+  mdgen VIA runMdgenCmd; ["1.8.0"]
   "mdgen is a tool to generate .md files from .lean files."
 
   FLAGS:

diff --git a/lakefile.lean b/lakefile.lean
@@ -2,7 +2,7 @@ import Lake
 open Lake DSL
 
 package «mdgen» where
-  version := v!"1.7.0"
+  version := v!"1.8.0"
   keywords := #["cli", "markdown"]
   description := "Tool to generate markdown files from lean files."