commit 78a8da9ca3b6e736b86d9fdbe98e8f2d79766ea8 · pyrox.dev/nixpkgs

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

···

       167
       167
        
           stdlib

     

       168
       168
        
         ];

     

       169
       169
        
       

     

       170
       170
       +
         preConfigure = ''

     

       171
       171
       +
           make elpi/dune || true

     

       172
       172
       +
         '';

     

       173
       173
       +
       

     

       170
       174
        
         meta = {

     

       171
       175
        
           description = "Coq plugin embedding ELPI";

     

       172
       176
        
           maintainers = [ lib.maintainers.cohencyril ];

+2 -1

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

···

       8
       8
        
       , ppxlib, ppx_deriving

     

       9
       9
        
       , ppxlib_0_15, ppx_deriving_0_15

     

       10
       10
        
       , coqPackages

     

       11
       11
       -
       , version ? if lib.versionAtLeast ocaml.version "4.13" then "2.0.5"

     

       11
       11
       +
       , version ? if lib.versionAtLeast ocaml.version "4.13" then "2.0.6"

     

       12
       12
        
           else if lib.versionAtLeast ocaml.version "4.08" then "1.20.0"

     

       13
       13
        
           else "1.15.2"

     

       14
       14
        
       }:

     
···

       17
       17
        
       let camlp5 = p5.override { legacy = true; }; in

     

       18
       18
        
       

     

       19
       19
        
       let fetched = coqPackages.metaFetch ({

     

       20
       20
       +
           release."2.0.6".sha256 = "sha256-tRUYXQZ0VXrjIZBZ1skdzieUsww4rSNEe5ik+iKpk3U=";

     

       20
       21
        
           release."2.0.5".sha256 = "sha256-cHgERFqrfSg5WtUX3UxR6L+QkzS7+t6n4V+wweiEacc=";

     

       21
       22
        
           release."1.20.0".sha256 = "sha256-lctZAIQgOg5d+LfILtWsBVcsemV3zTZYfJfDlCxHtcA=";

     

       22
       23
        
           release."1.19.2".sha256 = "sha256-dBj5Ek7PWq/8Btq/dggJUqa8cUtfvbi6EWo/lJEDOU4=";