use nixpkgs 24.05, not unstable

as part of Python 3.12 migration fallout, z3 4.8.5 does not build anymore
Inria-Prosecco · Jul 10, 2024 · 5ae7f41 · 5ae7f41
1 parent d1454b5
commit 5ae7f41
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,7 +2,7 @@
   description = "StarMalloc";
 
   inputs = {
-    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
+    nixpkgs.url = "github:nixos/nixpkgs";
     fstar-src = {
       url = "github:FStarLang/FStar";
       inputs.nixpkgs.follows = "nixpkgs";