From f63aa7fdfa0688d839fc092acf37b7024ae27562 Mon Sep 17 00:00:00 2001
From: Ike Mulder <me@ikemulder.nl>
Date: Thu, 13 Feb 2025 15:03:17 +0000
Subject: [PATCH] Update Simuliris to version 4099b244

---
 supplements/coq-diaframe-simuliris.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/supplements/coq-diaframe-simuliris.opam b/supplements/coq-diaframe-simuliris.opam
index 3a5a2baf..8000d0d3 100644
--- a/supplements/coq-diaframe-simuliris.opam
+++ b/supplements/coq-diaframe-simuliris.opam
@@ -13,7 +13,7 @@ depends: [
   "coq-simuliris"
 ]
 pin-depends: [
-  ["coq-simuliris.dev" "git+https://gitlab.mpi-sws.org/iris/simuliris#b7030e3a"]
+  ["coq-simuliris.dev" "git+https://gitlab.mpi-sws.org/iris/simuliris#4099b244"]
 ]
 build: [make "-j%{jobs}%" "diaframe-simuliris"]
 install: [make "install-diaframe-simuliris"]
-- 
GitLab