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'