HACL* API Update

hashes.sh

@@ -6,14 +6,14 @@ 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]=ae5d839c2e1fa95055b618cda60aeb1c486c720c
+branches[hacl-star]=pnmadelaine-api
 hashes[karamel]=a7be2a7c43eca637ceb57fe8f3ffd16fc6627ebd
 branches[karamel]=master
-hashes[merkle-tree]=8d46446a3bd81e16a1b4dd694cab94ecfa9e6a0f
-branches[merkle-tree]=main
-hashes[mitls-fstar]=756f89ccbecf9a38a07378c1ce46bf6e180a183d
-branches[mitls-fstar]=master
+hashes[merkle-tree]=8863284a4546d985475b9ed5c5a8e7a13b8ac14f
+branches[merkle-tree]=pnmadelaine-hacl-api-update
+hashes[mitls-fstar]=5c002bf5a587e214fc02b4458d78f144f65aeeec
+branches[mitls-fstar]=pnmadelaine-hacl-api-update
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
 hashes[steel]=c89b3fe9969010165df251d5c4fe6a371671da44

repositories.sh

@@ -16,8 +16,8 @@ https[steel]=https://github.com/FStarLang/steel.git
 repositories[hacl-star][email protected]:hacl-star/hacl-star.git
 https[hacl-star]=https://github.com/hacl-star/hacl-star.git
 
-repositories[merkle-tree][email protected]:hacl-star/merkle-tree.git
-https[merkle-tree]=https://github.com/hacl-star/merkle-tree.git
+repositories[merkle-tree][email protected]:pnmadelaine/merkle-tree.git
+https[merkle-tree]=https://github.com/pnmadelaine/merkle-tree.git
 
 repositories[mitls-fstar][email protected]:project-everest/mitls-fstar.git
 https[mitls-fstar]=https://github.com/project-everest/mitls-fstar.git