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