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

coqPackages.math-classes: init at 2016-06-08

Browse Source
This commit is contained in:
Langston Barrett 2017-01-25 21:55:43 +00:00 committed by Vincent Laporte
parent a35373f584
commit d486fb053b
2 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/development/coq-modules/math-classes/default.nix Normal file
View File

@ -0,0 +1,23 @@
{ stdenv, fetchFromGitHub, coq }:
stdenv.mkDerivation {
name = "coq${coq.coq-version}-math-classes-2016-06-08";
src = fetchFromGitHub {
owner = "math-classes";
repo = "math-classes";
rev = "751e63b260bd2f78b280f2566c08a18034bd40b3";
sha256 = "0kjc2wzb6n9hcqb2ijx2pckn8jk5g09crrb87yb4s9m0mrw79smr";
};
buildInputs = [ coq ];
enableParallelBuilding = true;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
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 ];
platforms = coq.meta.platforms;
};
}

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

@ -17028,6 +17028,7 @@ with pkgs;
flocq = callPackage ../development/coq-modules/flocq {}; flocq = callPackage ../development/coq-modules/flocq {};
interval = callPackage ../development/coq-modules/interval {}; interval = callPackage ../development/coq-modules/interval {};
mathcomp = callPackage ../development/coq-modules/mathcomp { }; mathcomp = callPackage ../development/coq-modules/mathcomp { };
math-classes = callPackage ../development/coq-modules/math-classes { };
ssreflect = callPackage ../development/coq-modules/ssreflect { }; ssreflect = callPackage ../development/coq-modules/ssreflect { };
fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {}; fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {};
}; };