Update dependencies (rustc nightly-2023-12-15, viper v-2023-12-06-0725)

viperproject · Dec 15, 2023 · b11b3ec · b11b3ec
1 parent 8e372e2
commit b11b3ec
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-2023-12-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-06-0725