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'