Update sources (#1803)

* Update sources * avoid building some packages with long build times --------- Co-authored-by: UpdateBot <[email protected]>
nix-ocaml · Dec 3, 2024 · 5ff887b · 5ff887b
1 parent 274761c
commit 5ff887b
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 7 deletions.
diff --git a/ci/filter.nix b/ci/filter.nix
@@ -74,8 +74,11 @@ let
     "rock"
     "subscriptions-transport-ws"
 
-    # takes a long time to build, broken by recent Coq upgrade
+    # long time to build
     "lambdapi"
+    "ocaml_libvirt"
+    "unisim_archisec"
+    "z3"
 
     # Broken on janestreet v0.17
     "camlimages"
@@ -148,7 +151,6 @@ let
     "gapi-ocaml"
     "bz2"
     "curses"
-    "ocaml_libvirt"
     "magic"
     "secp256k1"
     "z3"

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -7,7 +7,7 @@
   };
 
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs?rev=b9ffe0d2ef589f4d75a62f908f00dfd6344b6b6e";
+    nixpkgs.url = "github:NixOS/nixpkgs?rev=fcc6fd8761d9979517225721b2d4b6e672ff4da3";
   };
 
   outputs = { self, nixpkgs }: