dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

coqPackages.mathcomp-analysis: enable for Coq 8.9

Browse Source
This commit is contained in:
Vincent Laporte 2019-02-11 16:16:31 +00:00 committed by Vincent Laporte
parent 925b196c55
commit 4a21043578
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/mathcomp-analysis/default.nix
View File

@ -25,6 +25,6 @@ stdenv.mkDerivation rec {
}; };
passthru = { passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.8" ]; compatibleCoqVersions = v: builtins.elem v [ "8.8" "8.9" ];
}; };
} }

4
pkgs/development/coq-modules/mathcomp-bigenough/default.nix
View File

@ -14,7 +14,7 @@ stdenv.mkDerivation rec {
buildInputs = [ coq ]; buildInputs = [ coq ];
propagatedBuildInputs = [ mathcomp ]; propagatedBuildInputs = [ mathcomp ];
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; installFlags = "-f Makefile.coq COQLIB=$(out)/lib/coq/${coq.coq-version}/";
meta = { meta = {
description = "A small library to do epsilon - N reasonning"; description = "A small library to do epsilon - N reasonning";
@ -24,6 +24,6 @@ stdenv.mkDerivation rec {
}; };
passthru = { passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" ]; compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ];
}; };
} }

4
pkgs/development/coq-modules/mathcomp-finmap/default.nix
View File

@ -14,7 +14,7 @@ stdenv.mkDerivation rec {
buildInputs = [ coq ]; buildInputs = [ coq ];
propagatedBuildInputs = [ mathcomp ]; propagatedBuildInputs = [ mathcomp ];
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; installFlags = "-f Makefile.coq COQLIB=$(out)/lib/coq/${coq.coq-version}/";
meta = { meta = {
description = "A finset and finmap library"; description = "A finset and finmap library";
@ -24,6 +24,6 @@ stdenv.mkDerivation rec {
}; };
passthru = { passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" ]; compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" ];
}; };
} }