Unverified Commit 383e9b56 authored by Pierre Roux's avatar Pierre Roux Committed by GitHub
Browse files

coq-elpi: 2.0.1 -> 2.2.0 (#323590) 

elpi: 1.18.1 -> 1.19.2
parent 2b753fb3

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

+11 −3
Original line number Diff line number Diff line
@@ -10,14 +10,15 @@ let 
    { case = "8.16"; out = { version = "1.17.0"; };}

    { case = "8.17"; out = { version = "1.17.0"; };}

    { case = "8.18"; out = { version = "1.18.1"; };}

    { case = "8.19"; out = { version = "1.18.1"; };}

    { case = "8.20"; out = { version = "1.19.2"; };}

  ] {} );

in mkCoqDerivation {

in (mkCoqDerivation {

  pname = "elpi";

  repo  = "coq-elpi";

  owner = "LPCIC";

  inherit version;

  defaultVersion = lib.switch coq.coq-version [

    { case = "8.20"; out = "2.2.0"; }

    { case = "8.19"; out = "2.0.1"; }

    { case = "8.18"; out = "2.0.0"; }

    { case = "8.17"; out = "1.18.0"; }
@@ -28,6 +29,7 @@ in mkCoqDerivation { 
    { case = "8.12"; out = "1.8.3_8.12"; }

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

  ] null;

  release."2.2.0".sha256      = "sha256-rADEoqTXM7/TyYkUKsmCFfj6fjpWdnZEOK++5oLfC/I=";

  release."2.0.1".sha256      = "sha256-cuoPsEJ+JRLVc9Golt2rJj4P7lKltTrrmQijjoViooc=";

  release."2.0.0".sha256      = "sha256-A/cH324M21k3SZ7+YWXtaYEbu6dZQq3K0cb1RMKjbsM=";

  release."1.19.0".sha256     = "sha256-kGoo61nJxeG/BqV+iQaV3iinwPStND+7+fYMxFkiKrQ=";
@@ -67,6 +69,7 @@ in mkCoqDerivation { 
  buildFlags = [ "OCAMLWARN=" ];



  mlPlugin = true;

  useDuneifVersion = v: lib.versions.isGe "2.2.0" v || v == "dev";

  propagatedBuildInputs = [ coq.ocamlPackages.findlib elpi ];



  meta = {
@@ -74,4 +77,9 @@ in mkCoqDerivation { 
    maintainers = [ lib.maintainers.cohencyril ];

    license = lib.licenses.lgpl21Plus;

  };

}
 
}).overrideAttrs (o:

  lib.optionalAttrs (o.version != null

    && (o.version == "dev" || lib.versions.isGe "2.2.0" o.version))

  {

    propagatedBuildInputs = o.propagatedBuildInputs ++ [ coq.ocamlPackages.ppx_optcomp ];

  })

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

+1 −1
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ 


  inherit version;

  defaultVersion = with lib.versions; lib.switch [ coq.version mathcomp.version ]  [

      { cases = [ (range "8.16" "8.19") (isGe "2.0.0") ]; out = "2.0.1"; }

      { cases = [ (range "8.16" "8.20") (isGe "2.0.0") ]; out = "2.0.1"; }

      { cases = [ (range "8.16" "8.17") (isGe "2.0.0") ]; out = "2.0.0"; }

      { cases = [ (range "8.15" "8.18") (range "1.15.0" "1.18.0") ]; out = "1.1.3"; }

      { cases = [ (range "8.13" "8.17") (range "1.13.0" "1.18.0") ]; out = "1.1.1"; }

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

+1 −1
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ mkCoqDerivation { 


  inherit version;

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

    { cases = [(range "8.17" "8.19") (isGe "2.0.0")] ; out = "0.2.0"; }

    { cases = [(range "8.17" "8.20") (isGe "2.0.0")] ; out = "0.2.0"; }

    { cases = [(range "8.11" "8.20") (isLe "2.0.0")] ; out = "0.1.1"; }

  ] null;

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

+1 −1
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@ 


  inherit version;

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

    { cases = [(range "8.17" "8.19") (isGe "2.0.0")  ]; out = "0.4.0"; }

    { cases = [(range "8.17" "8.20") (isGe "2.0.0")  ]; out = "0.4.0"; }

    { cases = [(range "8.11" "8.20") (range "1.12.0" "1.19.0") ]; out = "0.3.1"; }

    { cases = [(range "8.11" "8.14") (isLe "1.12.0") ]; out = "0.3.0"; }

    { cases = [(range "8.10" "8.12") (isLe "1.12.0") ]; out = "0.2.2"; }

pkgs/development/coq-modules/graph-theory/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -14,7 +14,7 @@ mkCoqDerivation { 


  inherit version;

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

    { cases = [ (isGe "8.16") (range "2.0.0" "2.2.0") ]; out = "0.9.4"; }

    { cases = [ (range "8.16" "8.19") (range "2.0.0" "2.2.0") ]; out = "0.9.4"; }

    { cases = [ (range "8.16" "8.18") (range "2.0.0"  "2.1.0" ) ]; out = "0.9.3"; }

    { cases = [ (range "8.14" "8.18") (range "1.13.0" "1.18.0") ]; out = "0.9.2"; }

    { cases = [ (range "8.14" "8.16") (range "1.13.0" "1.14.0") ]; out = "0.9.1"; }