diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-07-18 19:09:20 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-07-18 19:12:52 -0400 |
| commit | 006a512e8f752fb862625407e507517ae71ca768 (patch) | |
| tree | b62e7a9d38b09e5418acc8371f71f9f01fed1d6e /pkgs/development/coq-modules/math-classes | |
| parent | 53d1eb0fc64ce2fb79e00199721c97f95e21cd61 (diff) | |
| download | nixpkgs-006a512e8f752fb862625407e507517ae71ca768.tar nixpkgs-006a512e8f752fb862625407e507517ae71ca768.tar.gz nixpkgs-006a512e8f752fb862625407e507517ae71ca768.tar.bz2 nixpkgs-006a512e8f752fb862625407e507517ae71ca768.tar.lz nixpkgs-006a512e8f752fb862625407e507517ae71ca768.tar.xz nixpkgs-006a512e8f752fb862625407e507517ae71ca768.tar.zst nixpkgs-006a512e8f752fb862625407e507517ae71ca768.zip | |
coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6
Diffstat (limited to 'pkgs/development/coq-modules/math-classes')
| -rw-r--r-- | pkgs/development/coq-modules/math-classes/default.nix | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/pkgs/development/coq-modules/math-classes/default.nix b/pkgs/development/coq-modules/math-classes/default.nix index e12327a347f..0e7549623e7 100644 --- a/pkgs/development/coq-modules/math-classes/default.nix +++ b/pkgs/development/coq-modules/math-classes/default.nix @@ -1,15 +1,20 @@ -{ stdenv, fetchFromGitHub, coq }: +{ stdenv, fetchurl, coq }: stdenv.mkDerivation { - name = "coq${coq.coq-version}-math-classes-2016-06-08"; + name = "coq${coq.coq-version}-math-classes-1.0.6"; - src = fetchFromGitHub { - owner = "math-classes"; - repo = "math-classes"; - rev = "751e63b260bd2f78b280f2566c08a18034bd40b3"; - sha256 = "0kjc2wzb6n9hcqb2ijx2pckn8jk5g09crrb87yb4s9m0mrw79smr"; + src = fetchurl { + url = https://github.com/math-classes/math-classes/archive/1.0.6.tar.gz; + sha256 = "071hgjk4bz2ybci7dp2mw7xqmxmm2zph7kj28xcdg28iy796lf02"; }; + # src = fetchFromGitHub { + # owner = "math-classes"; + # repo = "math-classes"; + # rev = "1d426a08c2fbfd68bd1b3622fe8f31dd03712e6c"; + # sha256 = "3kjc2wzb6n9hcqb2ijx2pckn8jk5g09crrb87yb4s9m0mrw79smr"; + # }; + buildInputs = [ coq ]; enableParallelBuilding = true; installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; @@ -17,7 +22,7 @@ stdenv.mkDerivation { meta = with stdenv.lib; { homepage = https://math-classes.github.io; description = "A library of abstract interfaces for mathematical structures in Coq."; - maintainers = with maintainers; [ siddharthist ]; + maintainers = with maintainers; [ siddharthist jwiegley ]; platforms = coq.meta.platforms; }; } |