Update index-state for hedgehog-quickcheck

Author: jasagredo

cabal.project

@@ -14,7 +14,7 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump this if you need newer packages from Hackage
-  , hackage.haskell.org 2025-07-14T12:41:02Z
+  , hackage.haskell.org 2025-07-16T09:24:19Z
   -- Bump this if you need newer packages from CHaP
   , cardano-haskell-packages 2025-07-02T14:54:39Z
 
@@ -57,12 +57,27 @@ if impl (ghc >= 9.12)
     -- https://github.com/kapralVV/Unique/issues/11
     , Unique:hashable
 
-    , *:QuickCheck
-    , quickcheck-lockstep:quickcheck-dynamic
-
+if impl (ghc >= 9.10)
+  allow-newer:
     -- https://github.com/phadej/regression-simple/pull/14
     , regression-simple:base
 
+allow-newer:
+    -- https://github.com/phadej/vec/issues/121
+    , ral:QuickCheck
+    , fin:QuickCheck
+    , bin:QuickCheck
+
+    -- https://github.com/well-typed/quickcheck-lockstep/issues/38
+    , quickcheck-lockstep:QuickCheck
+    , quickckech-lockstep:quickcheck-dynamic
+
+    -- https://github.com/input-output-hk/fs-sim/pull/105
+    , fs-sim:QuickCheck
+
+    -- https://github.com/stevana/quickcheck-state-machine/pull/54
+    , quickcheck-state-machine:QuickCheck
+
 source-repository-package
    type: git
    location: https://github.com/IntersectMBO/cardano-ledger
@@ -114,17 +129,3 @@ source-repository-package
   subdir:
     .
     blockio
-
-source-repository-package
-  type: git
-  location: https://github.com/jasagredo/quickcheck-state-machine
-  tag: 876076ee7324ab63a071f565267140fab803bd76
-  --sha256: sha256-ejGyP//r2UraMjmntHkxrhqi791h7D6YBIVlAdzqT4c=
-
-source-repository-package
-  type: git
-  location: https://github.com/input-output-hk/fs-sim
-  tag: b63d76f4a1c1f4e75c68af2431c4526afe684b3b
-  --sha256: sha256-wUHQffD+O74CsMM+D9kNI4pkcNLj9x9f0lBCcAJ5HyE=
-  subdir:
-    fs-sim

flake.lock

@@ -14,8 +14,6 @@ let
   };
   hsPkgs = haskell-nix.cabalProject {
     src = ./..;
-    index-state = "2025-07-14T12:41:02Z";
-    index-sha256 = "sha256-T95ADIwRyYlG41AHjkxgezWRwfMqg+a1DGlVhACwtC8=";
     compiler-nix-name = "ghc967";
     flake.variants = {
       ghc910 = { compiler-nix-name = lib.mkForce "ghc9102"; };