(TEMPORARY, PLEASE REVERT) use FStarLang/karamel#213

FStarLang · Oct 5, 2021 · ca3fa8b · ca3fa8b
1 parent 824da1f
commit ca3fa8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -31,7 +31,7 @@
 
     "RepoVersions" : {
         "hacl_version" : "origin/master",
-        "kremlin_version" : "origin/master",
+        "kremlin_version" : "origin/protz_eaddrof",
         "qd_version" : "origin/master",
         "mitls_version" : "origin/master"
     }