quickcheck-contractmodel 0.1.7.0 (#856)

* Added quickcheck-contractmodel-0.1.7.0 From https://github.com/input-output-hk/quickcheck-contractmodel at d4123b5b94362b5bc5e3cfd642e44d0ea899670c * Added quickcheck-threatmodel-1.3.0 From https://github.com/input-output-hk/quickcheck-contractmodel at d4123b5b94362b5bc5e3cfd642e44d0ea899670c
IntersectMBO · Aug 2, 2024 · 8800132 · 8800132
1 parent e535f97
commit 8800132
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/_sources/quickcheck-contractmodel/0.1.7.0/meta.toml b/_sources/quickcheck-contractmodel/0.1.7.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-08-01T16:18:12Z
+github = { repo = "input-output-hk/quickcheck-contractmodel", rev = "d4123b5b94362b5bc5e3cfd642e44d0ea899670c" }
+subdir = 'quickcheck-contractmodel'
diff --git a/_sources/quickcheck-threatmodel/1.3.0/meta.toml b/_sources/quickcheck-threatmodel/1.3.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-08-01T16:18:12Z
+github = { repo = "input-output-hk/quickcheck-contractmodel", rev = "d4123b5b94362b5bc5e3cfd642e44d0ea899670c" }
+subdir = 'quickcheck-threatmodel'