From 918ff40c26fbe287c2e2384e525b5c763ac88d22 Mon Sep 17 00:00:00 2001 From: John Ky Date: Sat, 14 Jun 2025 14:16:48 +1000 Subject: [PATCH] Deprecate hedgehog-extras-0.7.1.0 and hedgehog-extras-0.7.2.0 --- _sources/hedgehog-extras/0.7.1.0/meta.toml | 4 ++++ _sources/hedgehog-extras/0.7.2.0/meta.toml | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/_sources/hedgehog-extras/0.7.1.0/meta.toml b/_sources/hedgehog-extras/0.7.1.0/meta.toml index ab8a5087a..a1649e9eb 100644 --- a/_sources/hedgehog-extras/0.7.1.0/meta.toml +++ b/_sources/hedgehog-extras/0.7.1.0/meta.toml @@ -1,2 +1,6 @@ timestamp = 2025-06-06T14:18:42Z github = { repo = "input-output-hk/hedgehog-extras", rev = "674d402331d5a0e6d8b8a95b3dea121923c21a83" } + +[[deprecations]] +timestamp = 2025-06-27T08:20:45Z +deprecated = true diff --git a/_sources/hedgehog-extras/0.7.2.0/meta.toml b/_sources/hedgehog-extras/0.7.2.0/meta.toml index 6aeea8610..0dd5df284 100644 --- a/_sources/hedgehog-extras/0.7.2.0/meta.toml +++ b/_sources/hedgehog-extras/0.7.2.0/meta.toml @@ -1,2 +1,6 @@ timestamp = 2025-06-07T03:18:32Z github = { repo = "input-output-hk/hedgehog-extras", rev = "b813e9d68d4cd9e7f91c662f75a8c4f003cb3aa3" } + +[[deprecations]] +timestamp = 2025-06-27T08:20:45Z +deprecated = true