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' 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' 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' 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' 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' 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' 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' 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' 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.