Revise plutus-core-1.0.0.1 to add an upper bound on algebraic-graphs

input-output-hk · Mar 21, 2023 · f79c298 · f79c298
1 parent 0c127b4
commit f79c298
Show file tree

Hide file tree

Showing 2 changed files with 872 additions and 0 deletions.
diff --git a/_sources/plutus-core/1.0.0.1/meta.toml b/_sources/plutus-core/1.0.0.1/meta.toml
@@ -2,3 +2,7 @@ timestamp = 2022-10-17T00:00:00Z
 github = { repo = "input-output-hk/plutus", rev = "d5f6f4a5505094490f61c8d164515adf7c8f46cc" }
 subdir = 'plutus-core'
 force-version = true
+
+[[revisions]]
+number = 1
+timestamp = 2023-03-21T14:30:01Z