From 2cbc7f9cb337e1750061b12f003a9d6396e0017b Mon Sep 17 00:00:00 2001
From: Heinrich Apfelmus <apfelmus@quantentunnel.de>
Date: Wed, 27 Nov 2024 16:34:11 +0100
Subject: [PATCH] Adjust to latest `cardano-wallet-agda`

---
 cabal.project                                      |  4 ++--
 .../Cardano/Wallet/Deposit/Pure/State/Signing.hs   | 14 ++------------
 2 files changed, 4 insertions(+), 14 deletions(-)

diff --git a/cabal.project b/cabal.project
index 220d3cf8dc0..196e263e204 100644
--- a/cabal.project
+++ b/cabal.project
@@ -157,8 +157,8 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/cardano-foundation/cardano-wallet-agda
-    tag: 4a95dadc7c7033d9cb83a3cd4a72cd34f04aaa48
-    --sha256: 1kk3v22pv8kr5ywjd3grb4s276cx1vcyz2djgg9dckn4nmywzdcs
+    tag: 7d223bf59e84f6bb0ec65761fbedfde9b7d453ae
+    --sha256: 1xq89f6x92pi5hrcsh71say36w8gy1g31782bcrgybb22k3pjm8f
     subdir:
       lib/customer-deposit-wallet-pure
       lib/cardano-wallet-read
diff --git a/lib/customer-deposit-wallet/src/Cardano/Wallet/Deposit/Pure/State/Signing.hs b/lib/customer-deposit-wallet/src/Cardano/Wallet/Deposit/Pure/State/Signing.hs
index 7ddd069180c..18789eb82af 100644
--- a/lib/customer-deposit-wallet/src/Cardano/Wallet/Deposit/Pure/State/Signing.hs
+++ b/lib/customer-deposit-wallet/src/Cardano/Wallet/Deposit/Pure/State/Signing.hs
@@ -11,12 +11,9 @@ import Cardano.Crypto.Wallet
     )
 import Cardano.Wallet.Address.BIP32
     ( BIP32Path (..)
-    , DerivationType (..)
     )
 import Cardano.Wallet.Address.BIP32_Ed25519
-    ( XPrv
-    , deriveXPrvHard
-    , deriveXPrvSoft
+    ( deriveXPrvBIP32Path
     )
 import Cardano.Wallet.Deposit.Pure.State.Submissions
     ( availableUTxO
@@ -71,12 +68,5 @@ signTx tx passphrase w = signTx' <$> rootXSignKey w
                 (T.encodeUtf8 passphrase)
                 BS.empty
                 encryptedXPrv
-        keys = deriveBIP32Path unencryptedXPrv
+        keys = deriveXPrvBIP32Path unencryptedXPrv
             <$> getBIP32PathsForOwnedInputs tx w
-
-deriveBIP32Path :: XPrv -> BIP32Path -> XPrv
-deriveBIP32Path xprv Root = xprv
-deriveBIP32Path xprv (Segment path Hardened ix) =
-    deriveXPrvHard (deriveBIP32Path xprv path) ix
-deriveBIP32Path xprv (Segment path Soft ix) =
-    deriveXPrvSoft (deriveBIP32Path xprv path) ix