diff options
author | Alex Rice <alexrice999@hotmail.co.uk> | 2019-12-29 17:22:00 +0000 |
---|---|---|
committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-14 20:54:12 +0100 |
commit | 6c1cdedb6d6203aff485422c1b84cde6df7add57 (patch) | |
tree | 7cb8c833f118f5d0525502aaa0b7f4a6cf05ab46 /pkgs/development/libraries/agda | |
parent | c2814be3a329288a391c9436493ab6dcaa36f3ce (diff) |
agda-categories: init at 0.1
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/agda-categories/default.nix | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/agda-categories/default.nix b/pkgs/development/libraries/agda/agda-categories/default.nix new file mode 100644 index 0000000000000..11f8d71f1cd7c --- /dev/null +++ b/pkgs/development/libraries/agda/agda-categories/default.nix @@ -0,0 +1,28 @@ +{ lib, mkDerivation, fetchFromGitHub, standard-library }: + +mkDerivation rec { + version = "0.1"; + pname = "agda-categories"; + + src = fetchFromGitHub { + owner = "agda"; + repo = "agda-categories"; + rev = "release/v${version}"; + sha256 = "0m4pjy92jg6zfziyv0bxv5if03g8k4413ld8c3ii2xa8bzfn04m2"; + }; + + buildInputs = [ standard-library ]; + + meta = with lib; { + inherit (src.meta) homepage; + description = "A new Categories library"; + license = licenses.bsd3; + platforms = platforms.unix; + # agda categories takes a lot of memory to build. + # This can be removed if this is eventually fixed upstream. + hydraPlatforms = []; + # Waiting for release 0.2 for this to work + broken = true; + maintainers = with maintainers; [ alexarice ]; + }; +} |