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

coqPackages.math-classes: 1.0.6 -> 1.0.7 

This version introduces compatibility with Coq 8.7.
This commit is contained in:
Théo Zimmermann 2017-10-29 18:56:03 +01:00 committed by Vincent Laporte
parent f4914d4eb4
commit 1ddadc6b1c
1 changed files with 15 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
pkgs/development/coq-modules/math-classes/default.nix
View File

@ -1,21 +1,22 @@
{ stdenv, fetchurl, coq }: { stdenv, fetchFromGitHub, coq, coqPackages }:
stdenv.mkDerivation { if ! stdenv.lib.versionAtLeast coq.coq-version "8.6" then
name = "coq${coq.coq-version}-math-classes-1.0.6"; throw "Math-Classes requires Coq 8.6 or later."
else
src = fetchurl { stdenv.mkDerivation rec {
url = https://github.com/math-classes/math-classes/archive/1.0.6.tar.gz;
sha256 = "071hgjk4bz2ybci7dp2mw7xqmxmm2zph7kj28xcdg28iy796lf02"; name = "coq${coq.coq-version}-math-classes-${version}";
version = "1.0.7";
src = fetchFromGitHub {
owner = "math-classes";
repo = "math-classes";
rev = version;
sha256 = "0wgnczacvkb2pc3vjbni9bwjijfyd5jcdnyyjg8185hkf9zzabgi";
}; };
# src = fetchFromGitHub { buildInputs = [ coq coqPackages.bignums ];
# owner = "math-classes";
# repo = "math-classes";
# rev = "1d426a08c2fbfd68bd1b3622fe8f31dd03712e6c";
# sha256 = "3kjc2wzb6n9hcqb2ijx2pckn8jk5g09crrb87yb4s9m0mrw79smr";
# };
buildInputs = [ coq ];
enableParallelBuilding = true; enableParallelBuilding = true;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";