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

coqPackages.bignums: do not fail with Coq 8.5

Browse Source 
The bignums library is part of the standard library
of Coq ≤ 8.6.
This commit is contained in:
Vincent Laporte 2017-11-13 07:31:22 +00:00
parent 469bddcd36
commit 985cfa7a8a
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/top-level/all-packages.nix
View File

@ -18710,7 +18710,9 @@ with pkgs;
coqPackages = self;
autosubst = callPackage ../development/coq-modules/autosubst {};
bignums = callPackage ../development/coq-modules/bignums {};
bignums = if stdenv.lib.versionAtLeast coq.coq-version "8.6"
then callPackage ../development/coq-modules/bignums {}
else null;
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
coquelicot = callPackage ../development/coq-modules/coquelicot {};
dpdgraph = callPackage ../development/coq-modules/dpdgraph {};