29 lines
895 B
Nix
29 lines
895 B
Nix
{ stdenv, fetchurl, coq }:
|
|
|
|
stdenv.mkDerivation {
|
|
name = "coq${coq.coq-version}-math-classes-1.0.6";
|
|
|
|
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}/";
|
|
|
|
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 jwiegley ];
|
|
platforms = coq.meta.platforms;
|
|
};
|
|
}
|