Unverified Commit 8398a209 authored by Ali Caglayan's avatar Ali Caglayan Committed by GitHub
Browse files

coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} ->... 


coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0} (#288185)

* coqPackages.serapi: 8.18.0+0.18.0 -> 8.19.0+0.19.0

* coqPackages.coq-lsp: 0.1.8+8.18 -> 0.1.8+8.19

Signed-off-by: default avatarAli Caglayan <alizter@gmail.com>
parent 5c31c4a2

pkgs/development/coq-modules/coq-lsp/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -10,12 +10,14 @@ mkCoqDerivation rec { 
  release."0.1.8+8.16".sha256 = "sha256-dEEAK5IXGjHB8D/fYJRQG/oCotoXJuWLxXB0GQlY2eo=";

  release."0.1.8+8.17".sha256 = "sha256-TmaE+osn/yAPU1Dyni/UTd5w/L2+qyPE3H/g6IWvHLQ=";

  release."0.1.8+8.18".sha256 = "sha256-UYmiDdbax4wxp5dLia/1t1gFyK6UELtJJvDMd5Hd14s=";

  release."0.1.8+8.19".sha256 = "sha256-aO3hUAWEqVxvCF7uJs+S4yrRxSMe/GaLKVfW/vawzNs=";



  inherit version;

  defaultVersion = with lib.versions; lib.switch coq.coq-version [

    { case = isEq "8.16"; out = "0.1.8+8.16"; }

    { case = isEq "8.17"; out = "0.1.8+8.17"; }

    { case = isEq "8.18"; out = "0.1.8+8.18"; }

    { case = isEq "8.19"; out = "0.1.8+8.19"; }

  ] null;



  nativeBuildInputs = [ makeWrapper ];

pkgs/development/coq-modules/serapi/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -2,6 +2,7 @@ 


let

  release = {

    "8.19.0+0.19.0".sha256 = "sha256-M9d0ne2veTjf8/mFIDwtWdHi64JXjwCPWupnO2Ztd/Y=";

    "8.18.0+0.18.0".sha256 = "sha256-c+3yG9vcbek/uvQ27OOQGqqsIHU1VuQhQvNVOjfucbo=";

    "8.17.0+0.17.0".sha256 = "sha256-I81qvaXpJfXcbFw8vyzYLzlnhPg1QD0lTqAFXhoZ0rI=";

    "8.16.0+0.16.3".sha256 = "sha256-22Kawp8jAsgyBTppwN5vmN7zEaB1QfPs0qKxd6x/7Uc=";
@@ -20,6 +21,7 @@ in 


  defaultVersion =  with versions;

    lib.switch coq.version [

      { case = isEq "8.19"; out = "8.19.0+0.19.0"; }

      { case = isEq "8.18"; out = "8.18.0+0.18.0"; }

      { case = isEq "8.17"; out = "8.17.0+0.17.0"; }

      { case = isEq "8.16"; out = "8.16.0+0.16.3"; }