Update Sun Dec 24 18:24:04 EST 2023

hrmacbeth · Dec 24, 2023 · dd1924d · dd1924d
1 parent 1d210f4
commit dd1924d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -64,10 +64,10 @@
    "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.lean"},
-  {"url": "https://github.com/hrmacbeth/lean4-autograder-main",
+  {"url": "https://github.com/robertylewis/lean4-autograder-main",
    "type": "git",
    "subDir": null,
-   "rev": "50713095a8ade6808b2020f426adc995e29486e4",
+   "rev": "74523206906acc73ddc4c8a4c3cbb37dd33cc7b1",
    "name": "autograder",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",

diff --git a/lakefile.lean b/lakefile.lean
@@ -29,4 +29,4 @@ but currently only Lean core options can be set in lakefile
 
 require mathlib from git "https://github.com/leanprover-community/mathlib4" @ s!"v{Lean.versionString}"
 require Duper from git "https://github.com/hrmacbeth/duper" @ "main"
-require autograder from git "https://github.com/hrmacbeth/lean4-autograder-main" @ "master"
+require autograder from git "https://github.com/robertylewis/lean4-autograder-main" @ "master"