Commit 61d89863 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16 

They depend on elpi (not yet available in nixpkgs)
parent 10f159ff

pkgs/development/coq-modules/hierarchy-builder/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ with lib; let hb = mkCoqDerivation { 
  owner = "math-comp";

  inherit version;

  defaultVersion = with versions; switch coq.coq-version [

    { case = isGe "8.15"; out = "1.2.1"; }

    { case = isEq "8.15"; out = "1.2.1"; }

    { case = range "8.13" "8.14"; out = "1.2.0"; }

    { case = range "8.12" "8.13"; out = "1.1.0"; }

    { case = isEq "8.11";         out = "0.10.0"; }

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

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


  inherit version;

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

    { cases = [ (isGe "8.13") ]; out = "1.0"; }

    { cases = [ (range "8.13" "8.15") ]; out = "1.0"; }

  ] null;



  propagatedBuildInputs = [ coq-elpi ];