Deprecate hedgehog-extras-0.7.1.0 and hedgehog-extras-0.7.2.0

newhoggy · newhoggy · commit 69efd0119289 · 2025-06-14T14:16:48.000+10:00
diff --git 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-14T04:15: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
@@ -1,2 +1,6 @@
 timestamp = 2025-06-07T03:18:32Z
 github = { repo = "input-output-hk/hedgehog-extras", rev = "b813e9d68d4cd9e7f91c662f75a8c4f003cb3aa3" }
+
+[[deprecations]]
+timestamp = 2025-06-14T04:15:45Z
+deprecated = true
