Update index-states and qualify 2 imports (#7333)

* Update index-states and qualify 2 imports

* Nix updates

Author: erikd

cabal.project

@@ -14,9 +14,9 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump both the following dates if you need newer packages from Hackage
-  , hackage.haskell.org 2025-07-16T09:24:19Z
+  , hackage.haskell.org 2025-09-12T01:28:11Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2025-08-27T16:08:15Z
+  , cardano-haskell-packages 2025-09-11T16:20:37Z
 
 packages: cardano-constitution
           plutus-benchmark

flake.lock

@@ -18,10 +18,12 @@ import Data.Bifunctor
 import Data.Coerce
 import Data.List.NonEmpty (NonEmpty)
 import Data.List.NonEmpty qualified as NonEmpty
-import Data.Map.Strict as Map
+import Data.Map.Strict (Map)
+import Data.Map.Strict qualified as Map
 import Data.Maybe
 import Data.Proxy
-import Data.Set as Set
+import Data.Set (Set)
+import Data.Set qualified as Set
 import Text.Pretty
 import Text.PrettyBy
 

plutus-core/plutus-core/src/PlutusCore/Check/Scoping.hs

@@ -121,7 +121,7 @@ library
     , deepseq
     , lens
     , mtl
-    , nothunks
+    , nothunks           ^>=0.2
     , plutus-core        ^>=1.53
     , plutus-tx          ^>=1.53
     , prettyprinter