commit c8a2b5b8472c0ec083d2cd6e6464f4d4abb693c0 · pyrox.dev/nixpkgs

+7 -1

pkgs/by-name/fs/fstar/package.nix

···

       1
       1
        
       {

     

       2
       2
        
         callPackage,

     

       3
       3
        
         fetchFromGitHub,

     

       4
       4
       +
         fetchpatch,

     

       4
       5
        
         installShellFiles,

     

       5
       6
        
         lib,

     

       6
       7
        
         makeWrapper,

     
···

       28
       29
        
           hash = "sha256-PhjfThXF6fJlFHtNEURG4igCnM6VegWODypmRvnZPdA=";

     

       29
       30
        
         };

     

       30
       31
        
       

     

       31
       31
       -
         duneVersion = "3";

     

       32
       32
       +
         # Compatibility with sedlex ≥ 3.5

     

       33
       33
       +
         patches = fetchpatch {

     

       34
       34
       +
           url = "https://github.com/FStarLang/FStar/commit/11aff952b955d2c9582515ee2d64ca6993ce1b73.patch";

     

       35
       35
       +
           hash = "sha256-HlppygegUAYYPDVSzFJvMHXdDSoug636bFa19v3TGkc=";

     

       36
       36
       +
           excludes = [ "fstar.opam" ];

     

       37
       37
       +
         };

     

       32
       38
        
       

     

       33
       39
        
         nativeBuildInputs = [

     

       34
       40
        
           ocamlPackages.menhir

+1

pkgs/development/ocaml-modules/janestreet/0.15.nix

···

       801
       801
        
             js_of_ocaml-ppx

     

       802
       802
        
             sedlex

     

       803
       803
        
           ];

     

       804
       804
       +
           meta.broken = true; # Not compatible with sedlex > 3.4

     

       804
       805
        
         };

     

       805
       806
        
       

     

       806
       807
        
         ppx_csv_conv = janePackage {

+1

pkgs/development/ocaml-modules/janestreet/0.16.nix

···

       1057
       1057
        
             sedlex

     

       1058
       1058
        
             virtual_dom

     

       1059
       1059
        
           ];

     

       1060
       1060
       +
           meta.broken = true; # Not compatible with sedlex > 3.4

     

       1060
       1061
        
         };

     

       1061
       1062
        
       

     

       1062
       1063
        
         ppx_csv_conv = janePackage {

+1

pkgs/development/ocaml-modules/janestreet/0.17.nix

···

       1149
       1149
        
             sedlex

     

       1150
       1150
        
             virtual_dom

     

       1151
       1151
        
           ];

     

       1152
       1152
       +
           meta.broken = true; # Not compatible with sedlex > 3.4

     

       1152
       1153
        
         };

     

       1153
       1154
        
       

     

       1154
       1155
        
         ppx_csv_conv = janePackage {

+2 -2

pkgs/development/ocaml-modules/sedlex/default.nix

···

       13
       13
        
         param =

     

       14
       14
        
           if lib.versionAtLeast ppxlib.version "0.26.0" then

     

       15
       15
        
             {

     

       16
       16
       -
               version = "3.4";

     

       17
       17
       -
               sha256 = "sha256-mJMv2zl1UfFJjYdwv68hi7TWP+/oZB9tKHXt13r1SlA=";

     

       16
       16
       +
               version = "3.6";

     

       17
       17
       +
               sha256 = "sha256-NiNqur7sce6dxictVB+saOC1c4N/EO/3Ici/icsGkIA=";

     

       18
       18
        
             }

     

       19
       19
        
           else

     

       20
       20
        
             {