nixpkgs/pkgs/development/coq-modules/math-classes/default.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;
};
}