Update dependencies (rustc nightly-2024-01-15, viper v-2023-12-16-1716)

viperproject · Jan 15, 2024 · 7c99f02 · 7c99f02
1 parent 2ade23b
commit 7c99f02
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/rust-toolchain b/rust-toolchain
@@ -1,4 +1,4 @@
 [toolchain]
-channel = "nightly-2023-09-15"
+channel = "nightly-2024-01-15"
 components = [ "rustc-dev", "llvm-tools-preview", "rust-std", "rustfmt", "clippy" ]
 profile = "minimal"
diff --git a/viper-toolchain b/viper-toolchain
@@ -1 +1 @@
-v-2023-08-26-2125
+v-2023-12-16-1716