Update dependencies (rustc nightly-2023-11-01, viper v-2023-09-27-0729)

viperproject · Nov 1, 2023 · 6f143e2 · 6f143e2
1 parent a5c29c9
commit 6f143e2
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-11-01"
 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-09-27-0729