updates dependencies to '22.02-RC'

viperproject · Feb 21, 2022 · 8a0a790 · 8a0a790
1 parent 5791e70
commit 8a0a790
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/viper-toolchain-versions.sh b/viper-toolchain-versions.sh
@@ -5,7 +5,7 @@
 #
 # Copyright (c) 2011-2021 ETH Zurich.
 
-SILVER_REF="c8b81692028ea8ff7e32691911806387c53e5d5a"
-SILICON_REF="1a920cc608bb9f1fbcdd61ffdaa627703c1c586c"
-CARBON_REF="a34882dfb31fc1627981d18080f0ef5eb953e83e"
-VIPERSERVER_REF="638b8faf1ee2adc582c9e6ff1a44f02175ef1782"
+SILVER_REF="22.02-RC"
+SILICON_REF="22.02-RC"
+CARBON_REF="22.02-RC"
+VIPERSERVER_REF="22.02-RC"