Skip to content
This repository has been archived by the owner on Jul 26, 2024. It is now read-only.

Commit

Permalink
downgrade to v4.3.0-rc1
Browse files Browse the repository at this point in the history
  • Loading branch information
joneugster committed Dec 18, 2023
1 parent a8a083e commit 06a38fc
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 7 deletions.
4 changes: 2 additions & 2 deletions Webeditor/Tools/PackageVersion.lean
Original file line number Diff line number Diff line change
Expand Up @@ -35,9 +35,9 @@ def getPackageVersions : IO String := do
| some manifest =>
let out := out.append <| Array.toList <| manifest.packages.map (fun p =>
match p with
| .path name _ _ _ _ =>
| .path name _ _ _ =>
s!"{name}:\nlocal package"
| .git name _ _ _ url rev _ _ =>
| .git name _ _ url rev _ _ =>
let rev := rev.slice 0 7
s!"{name}:\n{rev}\n{url}/commits/{rev}")
return "\n\n".intercalate out
Expand Down
7 changes: 3 additions & 4 deletions lake-manifest.json
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
{"version": 7,
"packagesDir": ".lake/packages",
{"version": 6,
"packagesDir": "lake-packages",
"packages": [],
"name": "webeditor",
"lakeDir": ".lake"}
"name": "webeditor"}
2 changes: 1 addition & 1 deletion lean-toolchain
Original file line number Diff line number Diff line change
@@ -1 +1 @@
leanprover/lean4:stable
leanprover/lean4:v4.3.0-rc1

0 comments on commit 06a38fc

Please sign in to comment.