Plutus 1.53.1.0 (#1154)

ana-pantilie · web-flow · commit 05385f99ecb2 · 2025-10-20T10:56:46.000Z
* Added plutus-core-1.53.1.0 From https://github.com/IntersectMBO/plutus at babbed700851262045d8b411116640b90685779f * Added plutus-ledger-api-1.53.1.0 From https://github.com/IntersectMBO/plutus at babbed700851262045d8b411116640b90685779f * Added plutus-metatheory-1.53.1.0 From https://github.com/IntersectMBO/plutus at babbed700851262045d8b411116640b90685779f * Added plutus-tx-1.53.1.0 From https://github.com/IntersectMBO/plutus at babbed700851262045d8b411116640b90685779f * Added plutus-tx-plugin-1.53.1.0 From https://github.com/IntersectMBO/plutus at babbed700851262045d8b411116640b90685779f
diff --git a/_sources/plutus-core/1.53.1.0/meta.toml b/_sources/plutus-core/1.53.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-10-20T10:49:20Z
+github = { repo = "IntersectMBO/plutus", rev = "babbed700851262045d8b411116640b90685779f" }
+subdir = 'plutus-core'
diff --git a/_sources/plutus-ledger-api/1.53.1.0/meta.toml b/_sources/plutus-ledger-api/1.53.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-10-20T10:49:20Z
+github = { repo = "IntersectMBO/plutus", rev = "babbed700851262045d8b411116640b90685779f" }
+subdir = 'plutus-ledger-api'
diff --git a/_sources/plutus-metatheory/1.53.1.0/meta.toml b/_sources/plutus-metatheory/1.53.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-10-20T10:49:20Z
+github = { repo = "IntersectMBO/plutus", rev = "babbed700851262045d8b411116640b90685779f" }
+subdir = 'plutus-metatheory'
diff --git a/_sources/plutus-tx-plugin/1.53.1.0/meta.toml b/_sources/plutus-tx-plugin/1.53.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-10-20T10:49:20Z
+github = { repo = "IntersectMBO/plutus", rev = "babbed700851262045d8b411116640b90685779f" }
+subdir = 'plutus-tx-plugin'
diff --git a/_sources/plutus-tx/1.53.1.0/meta.toml b/_sources/plutus-tx/1.53.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2025-10-20T10:49:20Z
+github = { repo = "IntersectMBO/plutus", rev = "babbed700851262045d8b411116640b90685779f" }
+subdir = 'plutus-tx'

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+timestamp = 2025-10-20T10:49:20Z`
	`2`	`+github = { repo = "IntersectMBO/plutus", rev = "babbed700851262045d8b411116640b90685779f" }`
	`3`	`+subdir = 'plutus-core'`