From 5ff887ba672b362d4349d71f70b2ec735751a1e7 Mon Sep 17 00:00:00 2001
From: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Date: Tue, 3 Dec 2024 12:44:34 -0800
Subject: [PATCH] Update sources (#1803)

* Update sources

* avoid building some packages with long build times

---------

Co-authored-by: UpdateBot <ulrikstrid@users.noreply.github.com>
---
 ci/filter.nix | 6 ++++--
 flake.lock    | 8 ++++----
 flake.nix     | 2 +-
 3 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/ci/filter.nix b/ci/filter.nix
index 891da670..2be2ff40 100644
--- 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
index e11b9db3..85f430f9 100644
--- a/flake.lock
+++ b/flake.lock
@@ -2,17 +2,17 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1733132332,
-        "narHash": "sha256-8DTh3irBPko0ooHaeGJ5kPwBD8mOwiMX4eBjFuicLsA=",
+        "lastModified": 1733205999,
+        "narHash": "sha256-ospvtfltUSDx1N/Sb2sx+ztyrag9urXZjUXUT/K3sl0=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "b9ffe0d2ef589f4d75a62f908f00dfd6344b6b6e",
+        "rev": "fcc6fd8761d9979517225721b2d4b6e672ff4da3",
         "type": "github"
       },
       "original": {
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "b9ffe0d2ef589f4d75a62f908f00dfd6344b6b6e",
+        "rev": "fcc6fd8761d9979517225721b2d4b6e672ff4da3",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index c5b92608..e1956979 100644
--- 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 }: