From 388cb09ddc04e613090dd11eae7afb3222f17b3b Mon Sep 17 00:00:00 2001 From: Sjoerd Visscher Date: Fri, 22 Dec 2023 14:42:24 +0100 Subject: [PATCH] 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 --- _sources/quickcheck-contractmodel/0.1.6.0/meta.toml | 3 +++ _sources/quickcheck-threatmodel/1.2.0/meta.toml | 3 +++ 2 files changed, 6 insertions(+) create mode 100644 _sources/quickcheck-contractmodel/0.1.6.0/meta.toml create mode 100644 _sources/quickcheck-threatmodel/1.2.0/meta.toml diff --git a/_sources/quickcheck-contractmodel/0.1.6.0/meta.toml b/_sources/quickcheck-contractmodel/0.1.6.0/meta.toml new file mode 100644 index 000000000..acc0dfcf9 --- /dev/null +++ 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 new file mode 100644 index 000000000..d03caedc7 --- /dev/null +++ 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'