follow hacl-star/pnmadelaine-api

project-everest · Nov 14, 2023 · a00b9d4 · a00b9d4
1 parent 1d2c80c
commit a00b9d4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hashes.sh b/hashes.sh
@@ -6,8 +6,8 @@ hashes[everquic-crypto]=cc4457e546cdb1e8f9a23d2e4fa387aab1a6b502
 branches[everquic-crypto]=master
 hashes[FStar]=d8507c32a4c883515789e9ba77a8006941439d5f
 branches[FStar]=master
-hashes[hacl-star]=7f42aba60b37bc011d19472284bfcd3b95c1538e
-branches[hacl-star]=main
+hashes[hacl-star]=2706a814a711b62e5b0e271b2c3c8696a6239663
+branches[hacl-star]=pnmadelaine-api
 hashes[karamel]=a7be2a7c43eca637ceb57fe8f3ffd16fc6627ebd
 branches[karamel]=master
 hashes[merkle-tree]=8d46446a3bd81e16a1b4dd694cab94ecfa9e6a0f