Plutus Release 1.47.0.0 (#1095)

kwxm · web-flow · commit 45239882467d · 2025-06-12T12:21:18.000+01:00
* Added plutus-core-1.47.0.0 From https://github.com/IntersectMBO/plutus at 71e98bf4f655d4d02171b87b7fe2da1a08914f20 * Added plutus-ledger-api-1.47.0.0 From https://github.com/IntersectMBO/plutus at 71e98bf4f655d4d02171b87b7fe2da1a08914f20 * Added plutus-tx-1.47.0.0 From https://github.com/IntersectMBO/plutus at 71e98bf4f655d4d02171b87b7fe2da1a08914f20 * Added plutus-tx-plugin-1.47.0.0 From https://github.com/IntersectMBO/plutus at 71e98bf4f655d4d02171b87b7fe2da1a08914f20 * Added plutus-metatheory-1.47.0.0 From https://github.com/IntersectMBO/plutus at 71e98bf4f655d4d02171b87b7fe2da1a08914f20
diff --git a/_sources/plutus-core/1.47.0.0/meta.toml b/_sources/plutus-core/1.47.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-06-11T10:50:22Z
+github = { repo = "IntersectMBO/plutus", rev = "71e98bf4f655d4d02171b87b7fe2da1a08914f20" }
+subdir = 'plutus-core'
diff --git a/_sources/plutus-ledger-api/1.47.0.0/meta.toml b/_sources/plutus-ledger-api/1.47.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-06-11T10:50:22Z
+github = { repo = "IntersectMBO/plutus", rev = "71e98bf4f655d4d02171b87b7fe2da1a08914f20" }
+subdir = 'plutus-ledger-api'
diff --git a/_sources/plutus-metatheory/1.47.0.0/meta.toml b/_sources/plutus-metatheory/1.47.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-06-12T11:07:25Z
+github = { repo = "IntersectMBO/plutus", rev = "71e98bf4f655d4d02171b87b7fe2da1a08914f20" }
+subdir = 'plutus-metatheory'
diff --git a/_sources/plutus-tx-plugin/1.47.0.0/meta.toml b/_sources/plutus-tx-plugin/1.47.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-06-11T10:50:22Z
+github = { repo = "IntersectMBO/plutus", rev = "71e98bf4f655d4d02171b87b7fe2da1a08914f20" }
+subdir = 'plutus-tx-plugin'
diff --git a/_sources/plutus-tx/1.47.0.0/meta.toml b/_sources/plutus-tx/1.47.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-06-11T10:50:22Z
+github = { repo = "IntersectMBO/plutus", rev = "71e98bf4f655d4d02171b87b7fe2da1a08914f20" }
+subdir = 'plutus-tx'

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+timestamp = 2025-06-11T10:50:22Z`
	`2`	`+github = { repo = "IntersectMBO/plutus", rev = "71e98bf4f655d4d02171b87b7fe2da1a08914f20" }`
	`3`	`+subdir = 'plutus-core'`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+timestamp = 2025-06-12T11:07:25Z`
	`2`	`+github = { repo = "IntersectMBO/plutus", rev = "71e98bf4f655d4d02171b87b7fe2da1a08914f20" }`
	`3`	`+subdir = 'plutus-metatheory'`