diff --git a/.github/workflows/nix-action-8.17.yml b/.github/workflows/nix-action-8.17.yml
index 15e105b..91ef7e2 100644
--- a/.github/workflows/nix-action-8.17.yml
+++ b/.github/workflows/nix-action-8.17.yml
@@ -1474,7 +1474,6 @@ jobs:
   coq-lsp:
     needs:
     - coq
-    - serapi
     runs-on: ubuntu-latest
     steps:
     - name: Determine which commit to initially checkout
@@ -1520,10 +1519,6 @@ jobs:
       name: 'Building/fetching previous CI target: coq'
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
         job "coq"
-    - if: steps.stepCheck.outputs.status == 'built'
-      name: 'Building/fetching previous CI target: serapi'
-      run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
-        job "serapi"
     - if: steps.stepCheck.outputs.status == 'built'
       name: Building/fetching current CI target
       run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
diff --git a/.nix/nixpkgs.nix b/.nix/nixpkgs.nix
index 1626704..88ed65a 100644
--- a/.nix/nixpkgs.nix
+++ b/.nix/nixpkgs.nix
@@ -1,4 +1,4 @@
 fetchTarball {
-    url = https://github.com/NixOS/nixpkgs/archive/a2f49d26d32eeaf57d3873d508c746d4e791d804.tar.gz;
-    sha256 = "1888sil7pf8s6yr2kya4as42ar11aggsgin2is94a1vqz64zq03d";
-  }
+         url = https://github.com/Alizter/nixpkgs/archive/cb7db003a24538eacd3d6a187c58138d793034cb.tar.gz;
+         sha256 = "1lc9wzk3jwcs7kpqdlvbidyvg5f2sm6050a9i4cllxfns8yc3q5d";
+       }