quickcheck-contractmodel-0.1.6.0 (#630)

* Added quickcheck-contractmodel-0.1.6.0 From https://github.com/input-output-hk/quickcheck-contractmodel at 7821c07e84b1676901c813f362878517e171a44d * Added quickcheck-threatmodel-1.2.0 From https://github.com/input-output-hk/quickcheck-contractmodel at 7821c07e84b1676901c813f362878517e171a44d
IntersectMBO · Dec 22, 2023 · 388cb09 · 388cb09
1 parent 029756c
commit 388cb09
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/_sources/quickcheck-contractmodel/0.1.6.0/meta.toml b/_sources/quickcheck-contractmodel/0.1.6.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-12-22T13:20:40Z
+github = { repo = "input-output-hk/quickcheck-contractmodel", rev = "7821c07e84b1676901c813f362878517e171a44d" }
+subdir = 'quickcheck-contractmodel'
diff --git a/_sources/quickcheck-threatmodel/1.2.0/meta.toml b/_sources/quickcheck-threatmodel/1.2.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-12-22T13:20:40Z
+github = { repo = "input-output-hk/quickcheck-contractmodel", rev = "7821c07e84b1676901c813f362878517e171a44d" }
+subdir = 'quickcheck-threatmodel'