From c093bf936bad70b4f47da5ff0696097edc2a84d9 Mon Sep 17 00:00:00 2001 From: Kenneth MacKenzie Date: Tue, 14 Nov 2023 15:47:02 +0000 Subject: [PATCH] Kwxm/plutus 1.16.0.0 (#564) * Added plutus-core-1.16.0.0 From https://github.com/input-output-hk/plutus at 9c2ecd2ea32d6ee9452586f93098168203a34d96 * Added plutus-tx-1.16.0.0 From https://github.com/input-output-hk/plutus at 9c2ecd2ea32d6ee9452586f93098168203a34d96 * Added plutus-tx-plugin-1.16.0.0 From https://github.com/input-output-hk/plutus at 9c2ecd2ea32d6ee9452586f93098168203a34d96 * Added plutus-ledger-api-1.16.0.0 From https://github.com/input-output-hk/plutus at 9c2ecd2ea32d6ee9452586f93098168203a34d96 * Added prettyprinter-configurable-1.16.0.0 From https://github.com/input-output-hk/plutus at 9c2ecd2ea32d6ee9452586f93098168203a34d96 --- _sources/plutus-core/1.16.0.0/meta.toml | 3 +++ _sources/plutus-ledger-api/1.16.0.0/meta.toml | 3 +++ _sources/plutus-tx-plugin/1.16.0.0/meta.toml | 3 +++ _sources/plutus-tx/1.16.0.0/meta.toml | 3 +++ _sources/prettyprinter-configurable/1.16.0.0/meta.toml | 3 +++ 5 files changed, 15 insertions(+) create mode 100644 _sources/plutus-core/1.16.0.0/meta.toml create mode 100644 _sources/plutus-ledger-api/1.16.0.0/meta.toml create mode 100644 _sources/plutus-tx-plugin/1.16.0.0/meta.toml create mode 100644 _sources/plutus-tx/1.16.0.0/meta.toml create mode 100644 _sources/prettyprinter-configurable/1.16.0.0/meta.toml diff --git a/_sources/plutus-core/1.16.0.0/meta.toml b/_sources/plutus-core/1.16.0.0/meta.toml new file mode 100644 index 000000000..d3cdab6d5 --- /dev/null +++ b/_sources/plutus-core/1.16.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-11-14T15:22:07Z +github = { repo = "input-output-hk/plutus", rev = "9c2ecd2ea32d6ee9452586f93098168203a34d96" } +subdir = 'plutus-core' diff --git a/_sources/plutus-ledger-api/1.16.0.0/meta.toml b/_sources/plutus-ledger-api/1.16.0.0/meta.toml new file mode 100644 index 000000000..ad50a384f --- /dev/null +++ b/_sources/plutus-ledger-api/1.16.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-11-14T15:22:09Z +github = { repo = "input-output-hk/plutus", rev = "9c2ecd2ea32d6ee9452586f93098168203a34d96" } +subdir = 'plutus-ledger-api' diff --git a/_sources/plutus-tx-plugin/1.16.0.0/meta.toml b/_sources/plutus-tx-plugin/1.16.0.0/meta.toml new file mode 100644 index 000000000..57c0c1d5e --- /dev/null +++ b/_sources/plutus-tx-plugin/1.16.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-11-14T15:22:09Z +github = { repo = "input-output-hk/plutus", rev = "9c2ecd2ea32d6ee9452586f93098168203a34d96" } +subdir = 'plutus-tx-plugin' diff --git a/_sources/plutus-tx/1.16.0.0/meta.toml b/_sources/plutus-tx/1.16.0.0/meta.toml new file mode 100644 index 000000000..18fa49101 --- /dev/null +++ b/_sources/plutus-tx/1.16.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-11-14T15:22:08Z +github = { repo = "input-output-hk/plutus", rev = "9c2ecd2ea32d6ee9452586f93098168203a34d96" } +subdir = 'plutus-tx' diff --git a/_sources/prettyprinter-configurable/1.16.0.0/meta.toml b/_sources/prettyprinter-configurable/1.16.0.0/meta.toml new file mode 100644 index 000000000..a3558809d --- /dev/null +++ b/_sources/prettyprinter-configurable/1.16.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-11-14T15:22:10Z +github = { repo = "input-output-hk/plutus", rev = "9c2ecd2ea32d6ee9452586f93098168203a34d96" } +subdir = 'prettyprinter-configurable'