Merge pull request crytic#1427 from crytic/nixpkgs

flake: update nixpkgs, foundry, bitwuzla

Author: elopez

flake.lock

@@ -2,27 +2,23 @@
   inputs = {
     nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
     flake-utils.url = "github:numtide/flake-utils";
-    foundry.url = "github:shazow/foundry.nix/47f8ae49275eeff9bf0526d45e3c1f76723bb5d3";
+    foundry.url = "github:shazow/foundry.nix/stable";
     flake-compat = {
       url = "github:edolstra/flake-compat";
       flake = false;
     };
-    nix-bundle-exe = {
-      url = "github:3noch/nix-bundle-exe";
-      flake = false;
-    };
     solc-pkgs = {
       url = "github:hellwolf/solc.nix";
       inputs.nixpkgs.follows = "nixpkgs";
     };
   };
 
-  outputs = { self, nixpkgs, flake-utils, nix-bundle-exe, solc-pkgs, foundry, ... }:
+  outputs = { self, nixpkgs, flake-utils, solc-pkgs, foundry, ... }:
     flake-utils.lib.eachDefaultSystem (system:
       let
         pkgs = import nixpkgs {
           inherit system;
-          overlays = [solc-pkgs.overlay];
+          overlays = [solc-pkgs.overlay foundry.overlay];
         };
 
         # prefer musl on Linux, static glibc + threading does not work properly
@@ -169,7 +165,7 @@
             packages = [
               (echidna pkgs)
               slither-analyzer
-              foundry.defaultPackage.${system}
+              foundry-bin
               bitwuzla
               cvc5
               z3

flake.nix

@@ -1,5 +1,5 @@
-resolver: lts-23.21
-# matching https://github.com/NixOS/nixpkgs/blob/322d8a3c6940039f7cff179a8b09c5d7ca06359d/pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml#L1
+resolver: lts-23.24
+# matching https://github.com/NixOS/nixpkgs/blob/97eb7ee0da337d385ab015a23e15022c865be75c/pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml#L1
 
 packages:
 - '.'