chore: bump to 2022-12-23 (#1191)

leanprover-community · Dec 23, 2022 · 08e8d37 · 08e8d37
1 parent 101a430
commit 08e8d37
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/Mathlib/Data/Int/Basic.lean b/Mathlib/Data/Int/Basic.lean
@@ -275,7 +275,7 @@ theorem sign_coe_nat_of_nonzero {n : ℕ} (hn : n ≠ 0) : Int.sign n = 1 := sig
 #align int.to_nat_add_nat Int.toNat_add_nat
 #align int.pred_to_nat Int.pred_toNat
 #align int.to_nat_sub_to_nat_neg Int.toNat_sub_toNat_neg
-#align int.to_nat_add_to_nat_neg_eq_nat_abs Int.toNat_add_toNat_neg_eq_nat_abs
+#align int.to_nat_add_to_nat_neg_eq_nat_abs Int.toNat_add_toNat_neg_eq_natAbs
 #align int.mem_to_nat' Int.mem_toNat'
 #align int.toNat_neg_nat Int.toNat_neg_nat
 

diff --git a/lake-manifest.json b/lake-manifest.json
@@ -10,13 +10,13 @@
   {"git":
    {"url": "https://github.com/leanprover/lake",
     "subDir?": null,
-    "rev": "235383015cdcb0082777b0347b84dba01843c79c",
+    "rev": "d0b530530f14dde97a547b03abf87eee06360d60",
     "name": "lake",
     "inputRev?": "master"}},
   {"git":
    {"url": "https://github.com/leanprover/doc-gen4",
     "subDir?": null,
-    "rev": "f221bbdcffe6a17bb310f0e9ee10767812b03e13",
+    "rev": "bdf803b1002786b87da7b8db8d2746c0002a715f",
     "name": "doc-gen4",
     "inputRev?": "main"}},
   {"git":
@@ -40,7 +40,7 @@
   {"git":
    {"url": "https://github.com/hargonix/LeanInk",
     "subDir?": null,
-    "rev": "9f3101452135964ac9107ec8e9910bfd14022bbc",
+    "rev": "2447df5cc6e48eb965c3c3fba87e46d353b5e9f1",
     "name": "leanInk",
     "inputRev?": "doc-gen"}},
   {"git":
@@ -52,6 +52,6 @@
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "2ace3a9803a96fd765d588b2a95fb6fafaf05bb3",
+    "rev": "a109889bf299f0d086f93a228e4c152f40ff5b0d",
     "name": "std",
     "inputRev?": "main"}}]}
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-12-22
+leanprover/lean4:nightly-2022-12-23