From 0c0882e06c4eec3c0dd37973bae5ff67db582d75 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas.franceschino@inria.fr>
Date: Thu, 18 Jan 2024 15:53:45 +0100
Subject: [PATCH] chore: update F* dependency in README

---
 examples/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/README.md b/examples/README.md
index f53c5c674..dda89eca5 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -16,7 +16,7 @@
   * With Nix, `nix develop .#fstar` setups a shell automatically for you.
      
   * Without Nix:
-    1. install F* `v2023.09.03`<!---FSTAR_VERSION--> manually (see https://github.com/FStarLang/FStar/blob/master/INSTALL.md);
+    1. install F* `v2024.01.13`<!---FSTAR_VERSION--> manually (see https://github.com/FStarLang/FStar/blob/master/INSTALL.md);
        1. make sure to have `fstar.exe` in PATH;
        2. or set the `FSTAR_HOME` environment variable.
     2. clone [Hacl*](https://github.com/hacl-star/hacl-star) somewhere;