Commit c8585bf4 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.coq-elpi 1.14.0 -> 1.15.1

parent bca69a40

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

+3 −0
Original line number Diff line number Diff line
@@ -7,6 +7,7 @@ with builtins; with lib; let 
    { case = "8.13"; out = { version = "1.13.7"; };}

    { case = "8.14"; out = { version = "1.13.7"; };}

    { case = "8.15"; out = { version = "1.15.0"; };}

    { case = "8.16"; out = { version = "1.16.5"; };}

  ] {} );

in mkCoqDerivation {

  pname = "elpi";
@@ -14,12 +15,14 @@ in mkCoqDerivation { 
  owner = "LPCIC";

  inherit version;

  defaultVersion = lib.switch coq.coq-version [

    { case = "8.16"; out = "1.15.1"; }

    { case = "8.15"; out = "1.14.0"; }

    { case = "8.14"; out = "1.11.2"; }

    { case = "8.13"; out = "1.11.1"; }

    { case = "8.12"; out = "1.8.3_8.12"; }

    { case = "8.11"; out = "1.6.3_8.11"; }

  ] null;

  release."1.15.1".sha256     = "sha256-NT2RlcIsFB9AvBhMxil4ZZIgx+KusMqDflj2HgQxsZg=";

  release."1.14.0".sha256     = "sha256:1v2p5dlpviwzky2i14cj7gcgf8cr0j54bdm9fl5iz1ckx60j6nvp";

  release."1.13.0".sha256     = "1j7s7dlnjbw222gnbrsjgmjck1yrx7h6hwm8zikcyxi0zys17w7n";

  release."1.12.1".sha256     = "sha256-4mO6/co7NcIQSGIQJyoO8lNWXr6dqz+bIYPO/G0cPkY=";

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

+6 −2
Original line number Diff line number Diff line
@@ -2,15 +2,18 @@ 
, buildDunePackage, camlp5

, ocaml

, menhir, menhirLib

, atdgen

, stdlib-shims

, re, perl, ncurses

, ppxlib, ppx_deriving

, ppxlib_0_15, ppx_deriving_0_15

, coqPackages

, version ? if lib.versionAtLeast ocaml.version "4.07" then "1.15.2" else "1.14.1"

, version ? if lib.versionAtLeast ocaml.version "4.08" then "1.16.5"

    else if lib.versionAtLeast ocaml.version "4.07" then "1.15.2" else "1.14.1"

}:

with lib;

let fetched = coqPackages.metaFetch ({

    release."1.16.5".sha256 = "sha256-tKX5/cVPoBeHiUe+qn7c5FIRYCwY0AAukN7vSd/Nz9A=";

    release."1.15.2".sha256 = "sha256-XgopNP83POFbMNyl2D+gY1rmqGg03o++Ngv3zJfCn2s=";

    release."1.15.0".sha256 = "sha256:1ngdc41sgyzyz3i3lkzjhnj66gza5h912virkh077dyv17ysb6ar";

    release."1.14.1".sha256 = "sha256-BZPVL8ymjrE9kVGyf6bpc+GA2spS5JBpkUtZi04nPis=";
@@ -31,7 +34,8 @@ buildDunePackage rec { 
  minimalOCamlVersion = "4.04";



  buildInputs = [ perl ncurses ]

  ++ optional (versionAtLeast version "1.15" || version == "dev") menhir;

  ++ optional (versionAtLeast version "1.15" || version == "dev") menhir

  ++ optional (versionAtLeast version "1.16" || version == "dev") atdgen;



  propagatedBuildInputs = [ re stdlib-shims ]

  ++ (if versionAtLeast version "1.15" || version == "dev"