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
IntersectMBO · Nov 14, 2023 · c093bf9 · c093bf9
1 parent 050c27c
commit c093bf9
Show file tree

Hide file tree

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