plutus 1.15.0.0 (#537)

IntersectMBO · Oct 17, 2023 · d81b67f · d81b67f
1 parent 80186d6
commit d81b67f
Show file tree

Hide file tree

Showing 5 changed files with 15 additions and 0 deletions.
diff --git a/_sources/plutus-core/1.15.0.0/meta.toml 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
@@ -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
@@ -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
@@ -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
@@ -0,0 +1,3 @@
+timestamp = 2023-10-17T01:24:54Z
+github = { repo = "input-output-hk/plutus", rev = "7e208c2221a91d7d5949f215ee877a95792bda0c" }
+subdir = 'prettyprinter-configurable'