From ce531e57e58d9331739a44f8ac6dab42b843ef87 Mon Sep 17 00:00:00 2001
From: Renegatto <alexey@mlabs.city>
Date: Mon, 22 Jul 2024 19:25:31 +0300
Subject: [PATCH 1/3] Pinpoint devx version

---
 .envrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.envrc b/.envrc
index 37d02de..f36155f 100644
--- a/.envrc
+++ b/.envrc
@@ -3,4 +3,4 @@ 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#ghc964-iog"
+use flake "github:input-output-hk/devx?rev=6ee20d669c3a3823c5add1e1528818ccff1eb2b9#ghc96-iog"

From 6e557ae2f63e36f01086f3d56a221ae9f8a0a404 Mon Sep 17 00:00:00 2001
From: Renegatto <alexey@mlabs.city>
Date: Mon, 22 Jul 2024 19:26:14 +0300
Subject: [PATCH 2/3] Make sure VSCode doesn't use ghcup's HLS

---
 .vscode/settings.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index a2d7a6f..e9801d1 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -3,5 +3,6 @@
         "Fracada",
         "POCRE",
         "Serialised"
-    ]
+    ],
+    "haskell.manageHLS": "PATH"
 }

From 27bd3a46207550d5d3d6c35d3cb29ce904bdfa43 Mon Sep 17 00:00:00 2001
From: Renegatto <alexey@mlabs.city>
Date: Mon, 22 Jul 2024 19:27:41 +0300
Subject: [PATCH 3/3] Highlight in the README that 'cabal update' is necessary

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index bf18c06..b8b32c2 100644
--- a/README.md
+++ b/README.md
@@ -19,6 +19,10 @@ Arch Linux has `libblst` in AUR, nix are exemplified by IOHK,
 and manual installation is described here:
 https://github.com/input-output-hk/cardano-node-wiki/blob/main/docs/getting-started/install.md#installing-blst
 
+Make sure to `cabal update` before building.
+
+The project uses `github:input-output-hk/devx` to make the development shell. See `.envrc` for details.
+
 ## Running tests
 
 Tests are runned in emulated environment by default.