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

CI works well with that PR, and @msprotz greenlit me, so I just merged it. This reverts commit ca3fa8b.
FStarLang · Oct 5, 2021 · c361fe9 · c361fe9
1 parent 0972777
commit c361fe9
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/protz_eaddrof",
+        "kremlin_version" : "origin/master",
         "qd_version" : "origin/master",
         "mitls_version" : "origin/master"
     }