From 32c27f6802773e337ecb0bb610bb2496655759de Mon Sep 17 00:00:00 2001 From: Yves Hauser Date: Wed, 17 Apr 2024 11:34:52 +0200 Subject: [PATCH 1/2] 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 From 529066070a3e2e24570b3cf9edab5fdd891aabc2 Mon Sep 17 00:00:00 2001 From: Yves Hauser Date: Thu, 18 Apr 2024 13:54:00 +0200 Subject: [PATCH 2/2] Updated marlowe-agda --- cabal.project | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cabal.project b/cabal.project index ddd75a3d..34ed7a88 100644 --- a/cabal.project +++ b/cabal.project @@ -10,5 +10,5 @@ test-show-details: streaming source-repository-package type: git location: https://github.com/input-output-hk/marlowe-agda - tag: 84a66ee8919182d0a442fa6601d877ed9c28708c - --sha256: 0ymd5x7k7cklmxbhrgh3l20spgl1z78v6lq3y2rl6qrnlrv44f1j + tag: 4ae23308edc40ee657a15759dc3f1b49c2a098c6 + --sha256: 1nrqd9xsxwv1rbhakqhl3i8sgsl6i89i6gfnrq15mjkn3xbhqvfr