Unverified Commit 3fafa51b authored by Théo Zimmermann's avatar Théo Zimmermann
Browse files

coqPackages.vsrocq-language-server: init at 2.3.4 

There is no reason not to provide vsrocq-language-server through
coqPackages.

In fact, following the logic that only packages that do not depend on
Coq belong to rocqPackages, it should not even have been in
rocqPackages in the first place.
parent e595314e

pkgs/development/rocq-modules/vsrocq-language-server/default.nix

+0 −1
Original line number Diff line number Diff line
@@ -74,7 +74,6 @@ ocamlPackages.buildDunePackage { 
    license = lib.licenses.mit;

  }

  // lib.optionalAttrs (fetched.broken or false) {

    rocqFilter = true;

    broken = true;

  };

}

pkgs/top-level/coq-packages.nix

+1 −0
Original line number Diff line number Diff line
@@ -222,6 +222,7 @@ let 
      Vpl = callPackage ../development/coq-modules/Vpl { };

      VplTactic = callPackage ../development/coq-modules/VplTactic { };

      vscoq-language-server = callPackage ../development/coq-modules/vscoq-language-server { };

      vsrocq-language-server = callPackage ../development/rocq-modules/vsrocq-language-server { };

      VST = callPackage ../development/coq-modules/VST (

        (lib.optionalAttrs (lib.versionAtLeast self.coq.version "8.14") {

          compcert = self.compcert.override {