Bump cardano-wallet-agda
repository
#4971
+20
−22
Merged