Bump hackage and fix some issues

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 2023-05-23T01:25:23Z
+  , hackage.haskell.org 2023-07-14T00:00:00Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2023-05-26T00:00:00Z
+  , cardano-haskell-packages 2023-07-14T00:00:00Z
 
 packages: doc/read-the-docs-site
           plutus-benchmark
@@ -47,9 +47,13 @@ package plutus-core
 -- (NOTE this will change to ieee754 in newer versions of nixpkgs).
 extra-packages: ieee, filemanip
 
-if impl(ghc >= 9.6)
-  allow-newer:
-    -- https://github.com/mokus0/th-extras/pull/20
-    , th-extras:template-haskell
-    , th-extras:th-abstraction
-
+constraints: 
+  -- We need turtle > 1.6 to support GHC 9.6. But that version now allows
+  -- some broken situations: https://github.com/Gabriella439/turtle/pull/446#issuecomment-1637628373
+  -- We are forced into an old version of ansi-wl-pprint because of inline-c (dep of inline-r), which
+  -- doesn't support the new one.
+  -- So for now we just force old versions of optparse-applicative and ansi-wl-pprint.
+  -- This is fine for CHaP, since we don't publish plutus-metatheory and the flag for inline-r
+  -- is off by default.
+  optparse-applicative < 0.18
+  , ansi-wl-pprint < 1.0

plutus-core/plutus-core.cabal

@@ -272,7 +272,7 @@ library
     , data-default-class
     , deepseq
     , dependent-sum               >=0.7.1.0
-    , dependent-sum-template
+    , dependent-sum-template      <0.1.2
     , deriving-aeson              >=0.2.3
     , deriving-compat
     , dlist

plutus-metatheory/plutus-metatheory.cabal

@@ -26,7 +26,7 @@ custom-setup
     , base
     , Cabal
     , process
-    , turtle
+    , turtle   >=1.6
 
 common lang
   default-language:   Haskell2010