Fix dev shell by including secp256k1, otherwise cabal complains

runtimeverification · Jan 9, 2024 · 4970402 · 4970402
1 parent ca05f14
commit 4970402
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -85,6 +85,7 @@
                 supportedGhcVersions = [ "928" ];
               })
               final.z3
+              final.secp256k1
             ];
           all-cabal-hashes = final.fetchurl {
             url =