coqPackages.coq-lsp: 0.2.0 -> 0.2.2

Signed-off-by: Ali Caglayan <alizter@gmail.com>

<!-- ps-id: 626ab6bd-798b-4ba7-905f-376655bbe373 -->

.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

.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";
+       }