TEST: point to forks and use commits with fixes for F* PR 3072

hashes.sh

@@ -4,9 +4,9 @@ hashes[everparse]=afb6fff36700bb31175a186141403a24faf75ec4
 branches[everparse]=master
 hashes[everquic-crypto]=76c14ada5db16b85a33920d826df0552e4c3cf10
 branches[everquic-crypto]=master
-hashes[FStar]=61ccb460777edf004920e775a2e2d5825726354a
+hashes[FStar]=c438c3b305d874f6e3df484cfd54088e75f959b5
 branches[FStar]=master
-hashes[hacl-star]=48ed3d12837b3ecd0f3bb0365bf344a753c9cc5d
+hashes[hacl-star]=cba746db355522f628aa2c7f64bd67473f18b92c
 branches[hacl-star]=main
 hashes[karamel]=7460546b9dd1a61b882f97de52c8fcc60cb09bbd
 branches[karamel]=master
@@ -16,5 +16,5 @@ hashes[mitls-fstar]=148206939f9897901d10a6b105044539d04d702a
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[steel]=913f5a04bc1849a6cee5a870a14b12f5558b133e
+hashes[steel]=431a456e1be59c8e4f297882f76c2a42ff208353
 branches[steel]=main

repositories.sh

@@ -4,17 +4,17 @@ declare -A https
 repositories[everparse][email protected]:project-everest/everparse.git
 https[everparse]=https://github.com/project-everest/everparse.git
 
-repositories[FStar][email protected]:FStarLang/FStar.git
-https[FStar]=https://github.com/FStarLang/FStar.git
+repositories[FStar][email protected]:mtzguido/FStar.git
+https[FStar]=https://github.com/mtzguido/FStar.git
 
 repositories[karamel][email protected]:FStarLang/karamel.git
 https[karamel]=https://github.com/FStarLang/karamel.git
 
-repositories[steel][email protected]:FStarLang/steel.git
-https[steel]=https://github.com/FStarLang/steel.git
+repositories[steel][email protected]:mtzguido/steel.git
+https[steel]=https://github.com/mtzguido/steel.git
 
-repositories[hacl-star][email protected]:hacl-star/hacl-star.git
-https[hacl-star]=https://github.com/hacl-star/hacl-star.git
+repositories[hacl-star][email protected]:mtzguido/hacl-star.git
+https[hacl-star]=https://github.com/mtzguido/hacl-star.git
 
 repositories[merkle-tree][email protected]:hacl-star/merkle-tree.git
 https[merkle-tree]=https://github.com/hacl-star/merkle-tree.git