devx + fix compilation

.envrc

@@ -0,0 +1,6 @@
+# https://github.com/nix-community/nix-direnv A fast, persistent use_nix/use_flake implementation for direnv:
+if ! has nix_direnv_version || ! nix_direnv_version 2.3.0; then
+  source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/2.3.0/direnvrc" "sha256-Dmd+j63L84wuzgyjITIfSxSD57Tx7v51DMxVZOsiUD8="
+fi
+# https://github.com/input-output-hk/devx Slightly opinionated shared GitHub Action for Cardano-Haskell projects
+use flake "github:input-output-hk/devx?rev=2f4fa7f42aa1184ce1ed03f468f60648c466fa84#ghc96-iog"

.gitignore

@@ -23,3 +23,4 @@ cabal.project.local~
 .ghc.environment.*
 devnet/db
 haddocks
+.direnv/

cabal.project

@@ -11,21 +11,26 @@ repository cardano-haskell-packages
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
 index-state:
-  , hackage.haskell.org 2023-12-24T05:49:51Z
-  , cardano-haskell-packages 2023-12-24T05:54:15Z
-
-source-repository-package
-  type: git
-  location: https://github.com/geniusyield/plutus-simple-model
-  tag: 0cb63af903a835c73aec662092eb67d228bba9b0
-  --sha256: sha256-H56EyRFNdDvLDo9FVeGZyQZ92itQPG39TkMVyEC/xqM=
-  subdir:
-    cardano-simple
-    psm
+  , hackage.haskell.org 2024-02-06T15:25:20Z
+  , cardano-haskell-packages 2024-02-06T16:14:24Z
 
 tests: true
 
 allow-newer:
-  cardano-ledger-shelley-ma:base
+  cardano-ledger-shelley-ma:base,
+  ouroboros-consensus-cardano:base,
+
+-- This is needed since prettyprinting stuff was moved to
+-- cardano-ledger-test library which is no longer a subject
+-- to be published on CHaP.
+-- See discussion in https://github.com/IntersectMBO/cardano-ledger/pull/3973
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger
+  tag: 6e2d37cc0f47bd02e89b4ce9f78b59c35c958e96
+  subdir:
+    libs/cardano-ledger-test
 
-packages: .
+packages:
+  .
+  ../clb