Skip to content

Commit

Permalink
Bump doc-gen4 to v4.12.0
Browse files Browse the repository at this point in the history
  • Loading branch information
@collares
collares committed Oct 15, 2024
1 parent c7fae10 commit 802875e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lakefile.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,4 +24,4 @@ require EulerProducts from git
"https://github.com/MichaelStollBayreuth/EulerProducts.git" @ "024a986"

meta if get_config? env = some "dev" then require «doc-gen4» from git
"https://github.com/leanprover/doc-gen4.git" @ "e490631"
"https://github.com/leanprover/doc-gen4.git" @ "v4.12.0"

0 comments on commit 802875e

Please sign in to comment.