commit df493310e8864a03c31f5b7a9fcf53ec32c6028d · pyrox.dev/nixpkgs

+20 -3
pkgs/development/coq-modules/coq-lsp/default.nix
···

       20
       20
        
         release."0.2.3+8.19".sha256 = "sha256-0eQQheY2yjS7shifhUlVPLXvTmyvgNpx7deLWXBRTfA=";

     

       21
       21
        
         release."0.2.3+8.20".sha256 = "sha256-TUVS8jkgf1MMOOx5y70OaeZkdIgdgmyGQ2/zKxeplEk=";

     

       22
       22
        
         release."0.2.3+9.0".sha256 = "sha256-eZMM4gYRXQroEIKz6XlffyHNYryEF5dIeIoVbEulh6M=";

     

       23
       23
       +
         release."0.2.4+8.20".sha256 = "sha256-mQxh2/Cb5hZ99TtqWYLpZ/BRPrm5GRDYPDfKlCTK9N4=";

     

       24
       24
       +
         release."0.2.4+9.0".sha256 = "sha256-ICPdNxJODNqmUErdTkNk7s52MRuINWLbAPm0rmXFW18=";

     

       25
       25
       +
         release."0.2.4+9.1".sha256 = "sha256-HNHA2vbX70oZkd4QtbP28UbTRXatqxJdxw1OWDVDE8U=";

     

       23
       26
        
       

     

       24
       27
        
         inherit version;

     

       25
       28
        
         defaultVersion =

     
···

       43
       46
        
             }

     

       44
       47
        
             {

     

       45
       48
        
               case = isEq "8.20";

     

       46
       46
       -
               out = "0.2.3+8.20";

     

       49
       49
       +
               out = "0.2.4+8.20";

     

       47
       50
        
             }

     

       48
       51
        
             {

     

       49
       52
        
               case = isEq "9.0";

     

       50
       50
       -
               out = "0.2.3+9.0";

     

       53
       53
       +
               out = "0.2.4+9.0";

     

       54
       54
       +
             }

     

       55
       55
       +
             {

     

       56
       56
       +
               case = isEq "9.1";

     

       57
       57
       +
               out = "0.2.4+9.1";

     

       51
       58
        
             }

     

       52
       59
        
           ] null;

     

       53
       60
        
       

     
···

       86
       93
        
                     camlp-streams

     

       87
       94
        
                     serapi

     

       88
       95
        
                   ]

     

       89
       89
       -
                 else

     

       96
       96
       +
                 else if o.version != null && lib.versions.isLe "0.2.3" o.version && o.version != "dev" then

     

       90
       97
        
                   [

     

       91
       98
        
                     cmdliner

     

       92
       99
        
                     ppx_deriving

     
···

       96
       103
        
                     ppx_compare

     

       97
       104
        
                     ppx_hash

     

       98
       105
        
                     sexplib

     

       106
       106
       +
                   ]

     

       107
       107
       +
                 else

     

       108
       108
       +
                   [

     

       109
       109
       +
                     cmdliner

     

       110
       110
       +
                     ppx_deriving_yojson

     

       111
       111
       +
                     ppx_hash

     

       112
       112
       +
                     ppx_import

     

       113
       113
       +
                     ppx_sexp_conv

     

       114
       114
       +
                     sexplib

     

       115
       115
       +
                     tyxml

     

       99
       116
        
                   ]

     

       100
       117
        
               );

     

       101
       118