From cfa8d0e042c85e04203646d4b1b3fe99c7f42b11 Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Fri, 15 Dec 2023 16:00:43 -0700 Subject: [PATCH] Update dependencies. --- lake-manifest.json | 8 ++++---- lakefile.lean | 14 +++++++++----- 2 files changed, 13 insertions(+), 9 deletions(-) diff --git a/lake-manifest.json b/lake-manifest.json index b69b2f9..7fc1995 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -13,19 +13,19 @@ {"url": "https://github.com/fgdorais/lean4-unicode-basic", "type": "git", "subDir": null, - "rev": "280d75fdfe7be8eb337be7f1bf8479b4aac09f71", + "rev": "dc62b29a26fcc3da545472ab8ad2c98ef3433634", "name": "UnicodeBasic", "manifestFile": "lake-manifest.json", "inputRev": "main", "inherited": false, "configFile": "lakefile.lean"}, - {"url": "https://github.com/mhuisi/lean4-cli", + {"url": "https://github.com/leanprover/lean4-cli", "type": "git", "subDir": null, - "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa", + "rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec", "name": "Cli", "manifestFile": "lake-manifest.json", - "inputRev": "nightly", + "inputRev": "main", "inherited": false, "configFile": "lakefile.lean"}, {"url": "https://github.com/hargonix/LeanInk", diff --git a/lakefile.lean b/lakefile.lean index 56998a4..05906f7 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -12,16 +12,20 @@ lean_exe «doc-gen4» { } require CMark from git - "https://github.com/xubaiw/CMark.lean" @ "main" + "https://github.com/xubaiw/CMark.lean" @ + "main" -require «UnicodeBasic» from git - "https://github.com/fgdorais/lean4-unicode-basic" @ "main" +require UnicodeBasic from git + "https://github.com/fgdorais/lean4-unicode-basic" @ + "main" require Cli from git - "https://github.com/mhuisi/lean4-cli" @ "nightly" + "https://github.com/leanprover/lean4-cli" @ + "main" require leanInk from git - "https://github.com/hargonix/LeanInk" @ "doc-gen" + "https://github.com/hargonix/LeanInk" @ + "doc-gen" /--