updates dependencies to tag '22.02-RC'

viperproject · Feb 17, 2022 · d2115c6 · d2115c6
1 parent e785d51
commit d2115c6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/viper-toolchain-versions.sh b/viper-toolchain-versions.sh
@@ -5,6 +5,6 @@
 #
 # Copyright (c) 2011-2021 ETH Zurich.
 
-SILVER_REF="master"
-SILICON_REF="master"
-CARBON_REF="master"
+SILVER_REF="22.02-RC"
+SILICON_REF="22.02-RC"
+CARBON_REF="22.02-RC"