From c57c29bd34ce73c0bdfe6c358237ecae4460d4cd Mon Sep 17 00:00:00 2001
From: Matteo Perotti <mperotti@iis.ee.ethz.ch>
Date: Tue, 15 Oct 2024 17:41:09 +0200
Subject: [PATCH] Bump Ara and CVA6 to official PRs

---
 Bender.lock | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Bender.lock b/Bender.lock
index e3f47703..19b8f678 100644
--- a/Bender.lock
+++ b/Bender.lock
@@ -15,7 +15,7 @@ packages:
     - apb
     - register_interface
   ara:
-    revision: 9ea9e56b784b6f8994710fe3030d900d44966a4e
+    revision: 19985464b2d8801f21900c1f9d6d7dd356f92b8b
     version: null
     source:
       Git: https://github.com/pulp-platform/ara.git
@@ -103,7 +103,7 @@ packages:
       Git: https://github.com/pulp-platform/common_verification.git
     dependencies: []
   cva6:
-    revision: 5614fc9ceeae6db3851e8c721de868355db9476b
+    revision: 5086bff7a039f02a2d9604bca7b1b3e9d961713e
     version: null
     source:
       Git: https://github.com/pulp-platform/cva6.git