From 8b1b1ac817cc2f5589a8efca18c59c828d3ca560 Mon Sep 17 00:00:00 2001 From: Marc Huisinga Date: Wed, 10 Jul 2024 14:59:31 +0200 Subject: [PATCH 1/2] chore: bump nightly --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 2b16d10..b92e46b 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2024-04-24 \ No newline at end of file +leanprover/lean4:nightly-2024-06-05 \ No newline at end of file From bf066c328bcff19aa93adf4d24c4e896c0d4eaca Mon Sep 17 00:00:00 2001 From: Marc Huisinga Date: Wed, 10 Jul 2024 15:03:22 +0200 Subject: [PATCH 2/2] chore: switch to lakefile.toml --- lakefile.lean | 7 ------- lakefile.toml | 5 +++++ 2 files changed, 5 insertions(+), 7 deletions(-) delete mode 100644 lakefile.lean create mode 100644 lakefile.toml diff --git a/lakefile.lean b/lakefile.lean deleted file mode 100644 index 17d91f0..0000000 --- a/lakefile.lean +++ /dev/null @@ -1,7 +0,0 @@ -import Lake -open Lake DSL - -package Cli - -@[default_target] -lean_lib Cli diff --git a/lakefile.toml b/lakefile.toml new file mode 100644 index 0000000..8d02e9e --- /dev/null +++ b/lakefile.toml @@ -0,0 +1,5 @@ +name = "Cli" +defaultTargets = ["Cli"] + +[[lean_lib]] +name = "Cli"