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

Merge pull request #90161 from alexarice/agda-categories

Browse Source 
agda-categories: 0.1 -> 0.1.3.1
This commit is contained in:
Nick Hu 2020-08-12 21:46:47 +01:00 committed by GitHub
commit 0277b9dcf5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/development/libraries/agda/agda-categories/default.nix
View File

@ -1,14 +1,14 @@
{ lib, mkDerivation, fetchFromGitHub, standard-library }: { lib, mkDerivation, fetchFromGitHub, standard-library }:
mkDerivation rec { mkDerivation rec {
version = "0.1"; version = "0.1.3.1";
pname = "agda-categories"; pname = "agda-categories";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "agda"; owner = "agda";
repo = "agda-categories"; repo = "agda-categories";
rev = "release/v${version}"; rev = "v${version}";
sha256 = "0m4pjy92jg6zfziyv0bxv5if03g8k4413ld8c3ii2xa8bzfn04m2"; sha256 = "08mc20qaz9vp5rhi60rh8wvjkg5aby3bgwwdhfnxha1663qf1q24";
}; };
buildInputs = [ standard-library ]; buildInputs = [ standard-library ];
@ -18,11 +18,6 @@ mkDerivation rec {
description = "A new Categories library"; description = "A new Categories library";
license = licenses.bsd3; license = licenses.bsd3;
platforms = platforms.unix; 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 turion ]; maintainers = with maintainers; [ alexarice turion ];
}; };
} }