From a00b9d4ca97f3a04c8c40c0b4927ed8a9918633c Mon Sep 17 00:00:00 2001
From: Paul-Nicolas Madelaine <pnm@pnm.tf>
Date: Tue, 14 Nov 2023 15:44:58 +0100
Subject: [PATCH] follow `hacl-star/pnmadelaine-api`

---
 hashes.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hashes.sh b/hashes.sh
index be9c3aec..a40a53ea 100644
--- 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