Fixes for local build

uhbif19 · Apr 26, 2024 · 4180ba9 · 4180ba9
1 parent 888f050
commit 4180ba9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git 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
@@ -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