Add revision to plutus-core-1.11.0.0 (#883)

Add upper bound to nothunks
IntersectMBO · Aug 30, 2024 · 07af0ab · 07af0ab
1 parent b1e6a0e
commit 07af0ab
Show file tree

Hide file tree

Showing 2 changed files with 1,000 additions and 0 deletions.
diff --git a/_sources/plutus-core/1.11.0.0/meta.toml b/_sources/plutus-core/1.11.0.0/meta.toml
@@ -1,3 +1,7 @@
 timestamp = 2023-08-25T13:56:46Z
 github = { repo = "input-output-hk/plutus", rev = "a52315036763a03b2b1d281ca7876ceaf47a5fbd" }
 subdir = 'plutus-core'
+
+[[revisions]]
+number = 1
+timestamp = 2024-08-30T15:31:05Z