bump std

leanprover-community · Jan 9, 2024 · f38ea1a · f38ea1a
1 parent 29e3c26
commit f38ea1a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -10,13 +10,13 @@
    "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.lean"},
-  {"url": "https://github.com/joneugster/std4",
+  {"url": "https://github.com/leanprover/std4",
    "type": "git",
    "subDir": null,
-   "rev": "baf66c6d1704a93328d759e6347b825f427137c7",
+   "rev": "294242ff8a1505124480a145c8a7d063359a720b",
    "name": "std",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "upstream_from_mathlib_for_graph",
+   "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "importGraph",

diff --git a/lakefile.lean b/lakefile.lean
@@ -5,7 +5,7 @@ package «importGraph» where
   -- add package configuration options here
 
 require Cli from git "https://github.com/leanprover/lean4-cli" @ "main"
-require std from git "https://github.com/joneugster/std4" @ "upstream_from_mathlib_for_graph"
+require std from git "https://github.com/leanprover/std4" @ "main"
 
 @[default_target]
 lean_lib «ImportGraph» where