We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4969ec9 commit 03a05b1Copy full SHA for 03a05b1
src/lake/Lake/Load/Materialize.lean
@@ -148,7 +148,7 @@ def Dependency.materialize
148
if ver.startsWith "git#" then
149
return ver.drop 4
150
else
151
- error s!"{dep.name}: unsupported dependency version format '{ver}' (should be \"git#>rev>\")"
+ error s!"{dep.name}: unsupported dependency version format '{ver}' (should be \"git#<rev>\")"
152
let depName := dep.name.toString (escape := false)
153
let pkg ←
154
match (← Reservoir.fetchPkg? lakeEnv dep.scope depName |>.toLogT) with
0 commit comments