From d81b67f6b3f87e8b5260381c734316dedc820338 Mon Sep 17 00:00:00 2001 From: Kenneth MacKenzie Date: Tue, 17 Oct 2023 02:39:41 +0100 Subject: [PATCH] plutus 1.15.0.0 (#537) --- _sources/plutus-core/1.15.0.0/meta.toml | 3 +++ _sources/plutus-ledger-api/1.15.0.0/meta.toml | 3 +++ _sources/plutus-tx-plugin/1.15.0.0/meta.toml | 3 +++ _sources/plutus-tx/1.15.0.0/meta.toml | 3 +++ _sources/prettyprinter-configurable/1.15.0.0/meta.toml | 3 +++ 5 files changed, 15 insertions(+) create mode 100644 _sources/plutus-core/1.15.0.0/meta.toml create mode 100644 _sources/plutus-ledger-api/1.15.0.0/meta.toml create mode 100644 _sources/plutus-tx-plugin/1.15.0.0/meta.toml create mode 100644 _sources/plutus-tx/1.15.0.0/meta.toml create mode 100644 _sources/prettyprinter-configurable/1.15.0.0/meta.toml diff --git a/_sources/plutus-core/1.15.0.0/meta.toml b/_sources/plutus-core/1.15.0.0/meta.toml new file mode 100644 index 000000000..7a4feff4e --- /dev/null +++ b/_sources/plutus-core/1.15.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-17T01:24:54Z +github = { repo = "input-output-hk/plutus", rev = "7e208c2221a91d7d5949f215ee877a95792bda0c" } +subdir = 'plutus-core' diff --git a/_sources/plutus-ledger-api/1.15.0.0/meta.toml b/_sources/plutus-ledger-api/1.15.0.0/meta.toml new file mode 100644 index 000000000..4c7c2f6e9 --- /dev/null +++ b/_sources/plutus-ledger-api/1.15.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-17T01:24:54Z +github = { repo = "input-output-hk/plutus", rev = "7e208c2221a91d7d5949f215ee877a95792bda0c" } +subdir = 'plutus-ledger-api' diff --git a/_sources/plutus-tx-plugin/1.15.0.0/meta.toml b/_sources/plutus-tx-plugin/1.15.0.0/meta.toml new file mode 100644 index 000000000..ef65c4e4e --- /dev/null +++ b/_sources/plutus-tx-plugin/1.15.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-17T01:24:54Z +github = { repo = "input-output-hk/plutus", rev = "7e208c2221a91d7d5949f215ee877a95792bda0c" } +subdir = 'plutus-tx-plugin' diff --git a/_sources/plutus-tx/1.15.0.0/meta.toml b/_sources/plutus-tx/1.15.0.0/meta.toml new file mode 100644 index 000000000..f005a8070 --- /dev/null +++ b/_sources/plutus-tx/1.15.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-17T01:24:54Z +github = { repo = "input-output-hk/plutus", rev = "7e208c2221a91d7d5949f215ee877a95792bda0c" } +subdir = 'plutus-tx' diff --git a/_sources/prettyprinter-configurable/1.15.0.0/meta.toml b/_sources/prettyprinter-configurable/1.15.0.0/meta.toml new file mode 100644 index 000000000..f42e1e228 --- /dev/null +++ b/_sources/prettyprinter-configurable/1.15.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-17T01:24:54Z +github = { repo = "input-output-hk/plutus", rev = "7e208c2221a91d7d5949f215ee877a95792bda0c" } +subdir = 'prettyprinter-configurable'