From b745b6008bc00d1e47a5bff83433eaa99c42cd73 Mon Sep 17 00:00:00 2001
From: Yves Hauser <yves.hauser@iohk.io>
Date: Wed, 17 Apr 2024 11:34:52 +0200
Subject: [PATCH] Reference to `marlowe-agda`

---
 cabal.project | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/cabal.project b/cabal.project
index 7d79b4ba..ddd75a3d 100644
--- a/cabal.project
+++ b/cabal.project
@@ -6,3 +6,9 @@ packages: isabelle
 write-ghc-environment-files: never
 tests: true
 test-show-details: streaming
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/marlowe-agda
+  tag: 84a66ee8919182d0a442fa6601d877ed9c28708c
+  --sha256: 0ymd5x7k7cklmxbhrgh3l20spgl1z78v6lq3y2rl6qrnlrv44f1j