fix ci

README.md

@@ -30,7 +30,7 @@ as well as two libraries:
 - [DY\*](https://github.com/REPROSEC/dolev-yao-star-extrinsic), for symbolic security proofs
 
 The Javascript extraction of MLS\* furthermore rely on:
-- [HACL Packages](https://github.com/cryspen/hacl-packages), for the WASM build of HACL\* and its Javascript wrapper
+- [HACL Packages](https://github.com/cryspen/hacl-packages) (branch `dev_aes_gcm_wasm`), for the WASM build of HACL\* and its Javascript wrapper
 
 ### Installing F\*
 
@@ -107,7 +107,7 @@ opam install js_of_ocaml js_of_ocaml-ppx integers_stubs_js
 - [HACL Packages](https://github.com/cryspen/hacl-packages), must be cloned in `HACL_PACKAGES_HOME`
 
 ```bash
-git clone [email protected]:cryspen/hacl-packages.git
+git clone -b dev_aes_gcm_wasm [email protected]:cryspen/hacl-packages.git
 export HACL_PACKAGES_HOME=$(cd hacl-packages; pwd)
 ```
 

flake.nix

@@ -17,7 +17,7 @@
     };
 
     hacl-packages-src = {
-      url = "github:cryspen/hacl-packages";
+      url = "github:cryspen/hacl-packages?ref=dev_aes_gcm_wasm";
       flake = false;
     };
   };