Skip to content

Commit c53e4c0

Browse files
newhoggynewhoggy
authored
Added hedgehog-extras-0.7.1.0 (#1092)
From https://github.com/input-output-hk/hedgehog-extras at 674d402331d5a0e6d8b8a95b3dea121923c21a83
1 parent a314c3f commit c53e4c0

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

‎_sources/hedgehog-extras/0.7.1.0/meta.toml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
timestamp = 2025-06-06T14:18:42Z
2+
github = { repo = "input-output-hk/hedgehog-extras", rev = "674d402331d5a0e6d8b8a95b3dea121923c21a83" }

‎flake.lock

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)