From 3c3f146d40cc65cd82c12d0f30dccac9bcccf360 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Wallez?= <theophile@wallez.net>
Date: Sat, 10 Aug 2024 15:58:39 +0200
Subject: [PATCH] chore: update DY*

---
 Makefile   | 2 +-
 flake.lock | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 4627209..8365031 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ INNER_SOURCE_DIRS = api bootstrap common/code common/proofs common/symbolic glue
 HACL_SNAPSHOT_DIR = $(MLS_HOME)/hacl-star-snapshot
 SOURCE_DIRS = $(addprefix $(MLS_HOME)/fstar/, $(INNER_SOURCE_DIRS))
 
-DY_INCLUDE_DIRS = core lib lib/comparse lib/crypto lib/event lib/state lib/utils
+DY_INCLUDE_DIRS = core lib lib/comparse lib/crypto lib/event lib/hpke lib/state lib/utils
 INCLUDE_DIRS = $(SOURCE_DIRS) $(HACL_SNAPSHOT_DIR)/lib $(HACL_SNAPSHOT_DIR)/specs $(COMPARSE_HOME)/src $(if $(USE_DY), $(addprefix $(DY_HOME)/src/, $(DY_INCLUDE_DIRS)))
 FSTAR_INCLUDE_DIRS = $(addprefix --include , $(INCLUDE_DIRS))
 
diff --git a/flake.lock b/flake.lock
index cef30de..0e28b8a 100644
--- a/flake.lock
+++ b/flake.lock
@@ -36,11 +36,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1721926025,
-        "narHash": "sha256-dQYLo0UZTeISpQK6Z6O7ClTULa3cP+OSY6jYBpcTcFs=",
+        "lastModified": 1722599947,
+        "narHash": "sha256-/vyB45kDyp6XlbJFVldw95QDKkmrwbet8VM6VoVNw6M=",
         "owner": "REPROSEC",
         "repo": "dolev-yao-star-extrinsic",
-        "rev": "b6fbb8c52bce7af578f04f959f93064c8799936d",
+        "rev": "170ed7e9aa94199f11f83d533a73bd9330d92675",
         "type": "github"
       },
       "original": {