Merge pull request #5114 from IntersectMBO/erikd/updates

cabal.project: Update index-states and drop un-needed SRPs

Author: teodanciu

cabal.project

@@ -21,8 +21,8 @@ source-repository-package
 -- NOTE: If you would like to update the above,
 -- see CONTRIBUTING.md#to-update-the-referenced-agda-ledger-spec
 index-state:
-  , hackage.haskell.org 2025-05-14T23:13:15Z
-  , cardano-haskell-packages 2025-05-15T11:03:46Z
+  , hackage.haskell.org 2025-06-11T21:55:55Z
+  , cardano-haskell-packages 2025-06-11T08:32:56Z
 
 packages:
   -- == Byron era ==
@@ -91,11 +91,5 @@ test-show-details: streaming
 
 if impl(ghc >=9.12)
   allow-newer:
-    -- bin, fin, ral: https://github.com/phadej/vec/issues/118
-    -- tree-diff: https://github.com/haskellari/tree-diff/issues/97
     -- Unique: https://github.com/kapralVV/Unique/issues/11
-    , bin:base
-    , fin:base
-    , ral:base
-    , tree-diff:base
     , Unique:hashable