elan: put lean release in leanprover/lean4 (#125)

sjtug · Oct 13, 2023 · dfbab00 · dfbab00
1 parent 6448e93
commit dfbab00
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/main.rs b/src/main.rs
@@ -339,9 +339,12 @@ fn main() {
                     buffer_path.clone().unwrap(),
                     true,
                 );
+                let lean_org_repo_src = merge_pipe! {
+                    lean4: lean_src,
+                };
                 let unified = merge_pipe! {
                     elan: elan_src,
-                    lean: lean_src,
+                    leanprover: lean_org_repo_src,
                 };
                 let indexed = index_pipe::IndexPipe::new(
                     unified,