From 4844916857929339181c1bad979f19bbc0a3e683 Mon Sep 17 00:00:00 2001
From: Tiago Oliveira <tiago.oliveira@sandboxquantum.com>
Date: Tue, 16 Apr 2024 11:50:57 +0100
Subject: [PATCH] update Jasmin from gitlab; update EasyCrypt to release

---
 scripts/ci/config/easycrypt | 2 +-
 scripts/ci/config/jasmin    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/ci/config/easycrypt b/scripts/ci/config/easycrypt
index 1fb1a55f..aa1a56bd 100644
--- a/scripts/ci/config/easycrypt
+++ b/scripts/ci/config/easycrypt
@@ -1 +1 @@
-eaba09c215c28b292259bd61aaf575bf7d21dbfe
+2b3bbadffa084466fd3450f367b2102e032c1301
diff --git a/scripts/ci/config/jasmin b/scripts/ci/config/jasmin
index 52259c34..670eaad6 100644
--- a/scripts/ci/config/jasmin
+++ b/scripts/ci/config/jasmin
@@ -1 +1 @@
-bac2b00b31c8e2d4f1af281da8af06f79332b6ca
+7be631a8da1dc3f7c966681028138ae56d8e4610