From 4180ba951b5e8214944dde81f6175cc0fdd9d386 Mon Sep 17 00:00:00 2001
From: Gregory Gerasev <uhbif19@gmail.com>
Date: Fri, 26 Apr 2024 21:53:43 +0700
Subject: [PATCH] Fixes for local build

---
 .envrc        | 2 +-
 cabal.project | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.envrc b/.envrc
index 0fe5694..d66daa8 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?rev=2f4fa7f42aa1184ce1ed03f468f60648c466fa84#ghc96-iog"
+use flake "github:input-output-hk/devx#ghc963-iog"
diff --git a/cabal.project b/cabal.project
index cdc297a..86121d8 100644
--- a/cabal.project
+++ b/cabal.project
@@ -39,3 +39,6 @@ source-repository-package
   --sha256: 6+Os/mQDzBOU+TkTD+n/T1MFcI+Mn0/tcBMJhLRfqyA=
 
 packages: .
+
+package cardano-crypto-praos
+  flags: -external-libsodium-vrf