efa79e6e53
Apparently, v0.1.4 was released twice. The current version of the build points to the first edition of v0.1.4, which is no longer attached to the tag "v0.1.4" on GitHub. Hence currently, downloading fails. This commit adjusts the hash to appropriately refer to the second edition of v0.1.4
24 lines
570 B
Nix
24 lines
570 B
Nix
{ lib, mkDerivation, fetchFromGitHub, standard-library }:
|
|
|
|
mkDerivation rec {
|
|
version = "0.1.4";
|
|
pname = "agda-categories";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "agda";
|
|
repo = "agda-categories";
|
|
rev = "v${version}";
|
|
sha256 = "1bcvmxcnl1ig38fxqkx8ydidhxq6a0kn2k9waf0lygh4ap928sgk";
|
|
};
|
|
|
|
buildInputs = [ standard-library ];
|
|
|
|
meta = with lib; {
|
|
inherit (src.meta) homepage;
|
|
description = "A new Categories library";
|
|
license = licenses.bsd3;
|
|
platforms = platforms.unix;
|
|
maintainers = with maintainers; [ alexarice turion ];
|
|
};
|
|
}
|