From bd5a18cc6e378df57fb713db2070d41a974ea6c2 Mon Sep 17 00:00:00 2001 From: Nikolaos Bezirgiannis <329939+bezirg@users.noreply.github.com> Date: Tue, 10 Sep 2024 16:14:29 +0200 Subject: [PATCH] plutus 1.34.0.0 (#899) --- _sources/plutus-core/1.34.0.0/meta.toml | 3 +++ _sources/plutus-ledger-api/1.34.0.0/meta.toml | 3 +++ _sources/plutus-tx-plugin/1.34.0.0/meta.toml | 3 +++ _sources/plutus-tx/1.34.0.0/meta.toml | 3 +++ _sources/prettyprinter-configurable/1.34.0.0/meta.toml | 3 +++ flake.nix | 5 +++-- 6 files changed, 18 insertions(+), 2 deletions(-) create mode 100644 _sources/plutus-core/1.34.0.0/meta.toml create mode 100644 _sources/plutus-ledger-api/1.34.0.0/meta.toml create mode 100644 _sources/plutus-tx-plugin/1.34.0.0/meta.toml create mode 100644 _sources/plutus-tx/1.34.0.0/meta.toml create mode 100644 _sources/prettyprinter-configurable/1.34.0.0/meta.toml diff --git a/_sources/plutus-core/1.34.0.0/meta.toml b/_sources/plutus-core/1.34.0.0/meta.toml new file mode 100644 index 000000000..139f45296 --- /dev/null +++ b/_sources/plutus-core/1.34.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2024-09-10T13:49:28Z +github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" } +subdir = 'plutus-core' diff --git a/_sources/plutus-ledger-api/1.34.0.0/meta.toml b/_sources/plutus-ledger-api/1.34.0.0/meta.toml new file mode 100644 index 000000000..e03c489b4 --- /dev/null +++ b/_sources/plutus-ledger-api/1.34.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2024-09-10T13:49:28Z +github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" } +subdir = 'plutus-ledger-api' diff --git a/_sources/plutus-tx-plugin/1.34.0.0/meta.toml b/_sources/plutus-tx-plugin/1.34.0.0/meta.toml new file mode 100644 index 000000000..86538d1af --- /dev/null +++ b/_sources/plutus-tx-plugin/1.34.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2024-09-10T13:49:28Z +github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" } +subdir = 'plutus-tx-plugin' diff --git a/_sources/plutus-tx/1.34.0.0/meta.toml b/_sources/plutus-tx/1.34.0.0/meta.toml new file mode 100644 index 000000000..5ed816ed6 --- /dev/null +++ b/_sources/plutus-tx/1.34.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2024-09-10T13:49:28Z +github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" } +subdir = 'plutus-tx' diff --git a/_sources/prettyprinter-configurable/1.34.0.0/meta.toml b/_sources/prettyprinter-configurable/1.34.0.0/meta.toml new file mode 100644 index 000000000..0b59461ea --- /dev/null +++ b/_sources/prettyprinter-configurable/1.34.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2024-09-10T13:49:28Z +github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" } +subdir = 'prettyprinter-configurable' diff --git a/flake.nix b/flake.nix index 8ae252487..a77ce5466 100644 --- a/flake.nix +++ b/flake.nix @@ -253,9 +253,10 @@ cardano-ledger-babbage.doHaddock = false; cardano-ledger-shelley.doHaddock = false; cardano-protocol-tpraos.doHaddock = false; - ouroboros-network.doHaddock = false; - ouroboros-consensus.doHaddock = false; ouroboros-consensus-cardano.doHaddock = false; + ouroboros-consensus.doHaddock = false; + ouroboros-network.doHaddock = false; + plutus-ledger-api.doHaddock = false; }; } ];