From 4721054ac7ca24ff460e7f3c919815d4dee29c42 Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Wed, 11 Oct 2023 12:35:15 +0000 Subject: [PATCH 1/9] Added hydra-cardano-api-0.13.0 From https://github.com/input-output-hk/hydra at 9f1027e0fdff6765f5233f19c4639fdaa3558bfa --- _sources/hydra-cardano-api/0.13.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/hydra-cardano-api/0.13.0/meta.toml diff --git a/_sources/hydra-cardano-api/0.13.0/meta.toml b/_sources/hydra-cardano-api/0.13.0/meta.toml new file mode 100644 index 000000000..5f2d34710 --- /dev/null +++ b/_sources/hydra-cardano-api/0.13.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-11T12:35:06Z +github = { repo = "input-output-hk/hydra", rev = "9f1027e0fdff6765f5233f19c4639fdaa3558bfa" } +subdir = 'hydra-cardano-api' From 3999ad0b5c2c50310ffaec660f381b331e622cf6 Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Wed, 11 Oct 2023 12:35:15 +0000 Subject: [PATCH 2/9] Added hydra-node-0.13.0 From https://github.com/input-output-hk/hydra at 9f1027e0fdff6765f5233f19c4639fdaa3558bfa --- _sources/hydra-node/0.13.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/hydra-node/0.13.0/meta.toml diff --git a/_sources/hydra-node/0.13.0/meta.toml b/_sources/hydra-node/0.13.0/meta.toml new file mode 100644 index 000000000..9799f2bf3 --- /dev/null +++ b/_sources/hydra-node/0.13.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-11T12:35:06Z +github = { repo = "input-output-hk/hydra", rev = "9f1027e0fdff6765f5233f19c4639fdaa3558bfa" } +subdir = 'hydra-node' From ae4e9cab56fdf2eb3c7cd1e36bb076f70a9746ac Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Wed, 11 Oct 2023 12:35:15 +0000 Subject: [PATCH 3/9] Added hydra-plutus-0.13.0 From https://github.com/input-output-hk/hydra at 9f1027e0fdff6765f5233f19c4639fdaa3558bfa --- _sources/hydra-plutus/0.13.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/hydra-plutus/0.13.0/meta.toml diff --git a/_sources/hydra-plutus/0.13.0/meta.toml b/_sources/hydra-plutus/0.13.0/meta.toml new file mode 100644 index 000000000..b95902203 --- /dev/null +++ b/_sources/hydra-plutus/0.13.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-11T12:35:06Z +github = { repo = "input-output-hk/hydra", rev = "9f1027e0fdff6765f5233f19c4639fdaa3558bfa" } +subdir = 'hydra-plutus' From db6247363b36869e99a5cfb3e6ad488f067350d4 Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Wed, 11 Oct 2023 12:35:15 +0000 Subject: [PATCH 4/9] Added hydra-plutus-extras-0.13.0 From https://github.com/input-output-hk/hydra at 9f1027e0fdff6765f5233f19c4639fdaa3558bfa --- _sources/hydra-plutus-extras/0.13.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/hydra-plutus-extras/0.13.0/meta.toml diff --git a/_sources/hydra-plutus-extras/0.13.0/meta.toml b/_sources/hydra-plutus-extras/0.13.0/meta.toml new file mode 100644 index 000000000..c142a2486 --- /dev/null +++ b/_sources/hydra-plutus-extras/0.13.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-11T12:35:06Z +github = { repo = "input-output-hk/hydra", rev = "9f1027e0fdff6765f5233f19c4639fdaa3558bfa" } +subdir = 'hydra-plutus-extras' From 0b0a30f3a2e7688dce4342b957c6f8ae9c60848e Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Wed, 11 Oct 2023 12:35:15 +0000 Subject: [PATCH 5/9] Added hydra-prelude-0.13.0 From https://github.com/input-output-hk/hydra at 9f1027e0fdff6765f5233f19c4639fdaa3558bfa --- _sources/hydra-prelude/0.13.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/hydra-prelude/0.13.0/meta.toml diff --git a/_sources/hydra-prelude/0.13.0/meta.toml b/_sources/hydra-prelude/0.13.0/meta.toml new file mode 100644 index 000000000..60756921d --- /dev/null +++ b/_sources/hydra-prelude/0.13.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-11T12:35:06Z +github = { repo = "input-output-hk/hydra", rev = "9f1027e0fdff6765f5233f19c4639fdaa3558bfa" } +subdir = 'hydra-prelude' From a183470375ff2c3b68492f7dc209543745033e36 Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Wed, 11 Oct 2023 12:35:15 +0000 Subject: [PATCH 6/9] Added hydra-test-utils-0.13.0 From https://github.com/input-output-hk/hydra at 9f1027e0fdff6765f5233f19c4639fdaa3558bfa --- _sources/hydra-test-utils/0.13.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/hydra-test-utils/0.13.0/meta.toml diff --git a/_sources/hydra-test-utils/0.13.0/meta.toml b/_sources/hydra-test-utils/0.13.0/meta.toml new file mode 100644 index 000000000..af73dd9cd --- /dev/null +++ b/_sources/hydra-test-utils/0.13.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-11T12:35:06Z +github = { repo = "input-output-hk/hydra", rev = "9f1027e0fdff6765f5233f19c4639fdaa3558bfa" } +subdir = 'hydra-test-utils' From da57cd5bd07adb032b1f3d3ea98cd181bf3cc789 Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Wed, 11 Oct 2023 12:35:15 +0000 Subject: [PATCH 7/9] Added hydra-tui-0.13.0 From https://github.com/input-output-hk/hydra at 9f1027e0fdff6765f5233f19c4639fdaa3558bfa --- _sources/hydra-tui/0.13.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/hydra-tui/0.13.0/meta.toml diff --git a/_sources/hydra-tui/0.13.0/meta.toml b/_sources/hydra-tui/0.13.0/meta.toml new file mode 100644 index 000000000..e66e43d47 --- /dev/null +++ b/_sources/hydra-tui/0.13.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-11T12:35:06Z +github = { repo = "input-output-hk/hydra", rev = "9f1027e0fdff6765f5233f19c4639fdaa3558bfa" } +subdir = 'hydra-tui' From 87fefec28c383372e3649696106924d960bb79da Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Thu, 12 Oct 2023 13:35:17 +0000 Subject: [PATCH 8/9] Added hydra-cluster-0.13.0 From https://github.com/input-output-hk/hydra at 9f1027e0fdff6765f5233f19c4639fdaa3558bfa --- _sources/hydra-cluster/0.13.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/hydra-cluster/0.13.0/meta.toml diff --git a/_sources/hydra-cluster/0.13.0/meta.toml b/_sources/hydra-cluster/0.13.0/meta.toml new file mode 100644 index 000000000..b5e88aaed --- /dev/null +++ b/_sources/hydra-cluster/0.13.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-12T13:35:13Z +github = { repo = "input-output-hk/hydra", rev = "9f1027e0fdff6765f5233f19c4639fdaa3558bfa" } +subdir = 'hydra-cluster' From 904b4cb747541422cf7380f0c27f2b5adf818d3b Mon Sep 17 00:00:00 2001 From: Daniel Firth Date: Thu, 12 Oct 2023 13:37:01 +0000 Subject: [PATCH 9/9] disable ghc96 for hydra --- flake.nix | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/flake.nix b/flake.nix index e457120ed..f601fb0a0 100644 --- a/flake.nix +++ b/flake.nix @@ -122,6 +122,30 @@ quickcheck-threatmodel = { ghc96.enabled = false; }; + hydra-prelude = { + ghc96.enabled = false; + }; + hydra-plutus = { + ghc96.enabled = false; + }; + hydra-plutus-extras = { + ghc96.enabled = false; + }; + hydra-cardano-api = { + ghc96.enabled = false; + }; + hydra-node = { + ghc96.enabled = false; + }; + hydra-tui = { + ghc96.enabled = false; + }; + hydra-test-utils = { + ghc96.enabled = false; + }; + hydra-cluster = { + ghc96.enabled = false; + }; }; # Extra configurations (possibly compiler-dependent) to add to all projects.