From 5419727e591e8dadfb1156be3e502a664facd4b3 Mon Sep 17 00:00:00 2001 From: Yura Lazaryev Date: Wed, 10 Dec 2025 12:48:34 +0100 Subject: [PATCH 1/5] Added plutus-core-1.56.0.0 From https://github.com/intersectmbo/plutus at e75d9d7777a31c7da3e5c3be39fd0501a592dbe1 --- _sources/plutus-core/1.56.0.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/plutus-core/1.56.0.0/meta.toml diff --git a/_sources/plutus-core/1.56.0.0/meta.toml b/_sources/plutus-core/1.56.0.0/meta.toml new file mode 100644 index 000000000..7d129af80 --- /dev/null +++ b/_sources/plutus-core/1.56.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2025-12-10T11:48:32Z +github = { repo = "intersectmbo/plutus", rev = "e75d9d7777a31c7da3e5c3be39fd0501a592dbe1" } +subdir = 'plutus-core' From b8e4c0157f13149ba6a51456c04788e163affa8d Mon Sep 17 00:00:00 2001 From: Yura Lazaryev Date: Wed, 10 Dec 2025 12:48:34 +0100 Subject: [PATCH 2/5] Added plutus-ledger-api-1.56.0.0 From https://github.com/intersectmbo/plutus at e75d9d7777a31c7da3e5c3be39fd0501a592dbe1 --- _sources/plutus-ledger-api/1.56.0.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/plutus-ledger-api/1.56.0.0/meta.toml diff --git a/_sources/plutus-ledger-api/1.56.0.0/meta.toml b/_sources/plutus-ledger-api/1.56.0.0/meta.toml new file mode 100644 index 000000000..025a994f4 --- /dev/null +++ b/_sources/plutus-ledger-api/1.56.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2025-12-10T11:48:32Z +github = { repo = "intersectmbo/plutus", rev = "e75d9d7777a31c7da3e5c3be39fd0501a592dbe1" } +subdir = 'plutus-ledger-api' From 4151cfc2a40594fa52f8ef5ee3e3a33a0c72ef0f Mon Sep 17 00:00:00 2001 From: Yura Lazaryev Date: Wed, 10 Dec 2025 12:48:35 +0100 Subject: [PATCH 3/5] Added plutus-metatheory-1.56.0.0 From https://github.com/intersectmbo/plutus at e75d9d7777a31c7da3e5c3be39fd0501a592dbe1 --- _sources/plutus-metatheory/1.56.0.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/plutus-metatheory/1.56.0.0/meta.toml diff --git a/_sources/plutus-metatheory/1.56.0.0/meta.toml b/_sources/plutus-metatheory/1.56.0.0/meta.toml new file mode 100644 index 000000000..b82f9b3f2 --- /dev/null +++ b/_sources/plutus-metatheory/1.56.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2025-12-10T11:48:32Z +github = { repo = "intersectmbo/plutus", rev = "e75d9d7777a31c7da3e5c3be39fd0501a592dbe1" } +subdir = 'plutus-metatheory' From 11295a38102bab59e55b340dc8f7f4e4bb92cfc7 Mon Sep 17 00:00:00 2001 From: Yura Lazaryev Date: Wed, 10 Dec 2025 12:48:35 +0100 Subject: [PATCH 4/5] Added plutus-tx-1.56.0.0 From https://github.com/intersectmbo/plutus at e75d9d7777a31c7da3e5c3be39fd0501a592dbe1 --- _sources/plutus-tx/1.56.0.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/plutus-tx/1.56.0.0/meta.toml diff --git a/_sources/plutus-tx/1.56.0.0/meta.toml b/_sources/plutus-tx/1.56.0.0/meta.toml new file mode 100644 index 000000000..51f5d7e08 --- /dev/null +++ b/_sources/plutus-tx/1.56.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2025-12-10T11:48:32Z +github = { repo = "intersectmbo/plutus", rev = "e75d9d7777a31c7da3e5c3be39fd0501a592dbe1" } +subdir = 'plutus-tx' From e86dfa0ebcb0852245e488cf1fc7b46d1c100872 Mon Sep 17 00:00:00 2001 From: Yura Lazaryev Date: Wed, 10 Dec 2025 12:48:35 +0100 Subject: [PATCH 5/5] Added plutus-tx-plugin-1.56.0.0 From https://github.com/intersectmbo/plutus at e75d9d7777a31c7da3e5c3be39fd0501a592dbe1 --- _sources/plutus-tx-plugin/1.56.0.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/plutus-tx-plugin/1.56.0.0/meta.toml diff --git a/_sources/plutus-tx-plugin/1.56.0.0/meta.toml b/_sources/plutus-tx-plugin/1.56.0.0/meta.toml new file mode 100644 index 000000000..1e7ddb31d --- /dev/null +++ b/_sources/plutus-tx-plugin/1.56.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2025-12-10T11:48:32Z +github = { repo = "intersectmbo/plutus", rev = "e75d9d7777a31c7da3e5c3be39fd0501a592dbe1" } +subdir = 'plutus-tx-plugin'