Add cardano-wallet-read-1.0.0.0 (#1003)

HeinrichApfelmus · web-flow · commit 491ba1c0ee71 · 2025-02-11T17:19:05.000+01:00
* Add HAL team to CODEOWNERS * Added cardano-wallet-read-1.0.0.0 From https://github.com/cardano-foundation/cardano-wallet-agda at 099b4fb3c672d94c31979fe8d436eadc6fd7ed15 * cardano-wallet-read-1.0.0.0: Disable GHC 8.10.7
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -173,3 +173,6 @@ _sources/marlowe-runtime      @input-output-hk/marlowe
 _sources/marlowe-runtime-web  @input-output-hk/marlowe
 _sources/marlowe-spec-test    @input-output-hk/marlowe
 _sources/marlowe-test         @input-output-hk/marlowe
+
+# HAL team
+_sources/cardano-wallet-read      @cardano-foundation/cf-hal-team
diff --git a/_sources/cardano-wallet-read/1.0.0.0/meta.toml b/_sources/cardano-wallet-read/1.0.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-02-11T16:02:25Z
+github = { repo = "cardano-foundation/cardano-wallet-agda", rev = "099b4fb3c672d94c31979fe8d436eadc6fd7ed15" }
+subdir = 'lib/cardano-wallet-read'
diff --git a/flake.nix b/flake.nix
@@ -77,6 +77,9 @@
         cardano-prelude = {
           ghc98.enabled = v : true;
         };
+        cardano-wallet-read = {
+          ghc810.enabled = v : false;
+        };
         ntp-client = {
           ghc98.enabled = v : builtins.compareVersions v "0.0.1.4" >= 0;
         };

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+timestamp = 2025-02-11T16:02:25Z`
	`2`	`+github = { repo = "cardano-foundation/cardano-wallet-agda", rev = "099b4fb3c672d94c31979fe8d436eadc6fd7ed15" }`
	`3`	`+subdir = 'lib/cardano-wallet-read'`