diff options
author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-07-26 12:16:56 +0200 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2021-07-26 14:52:32 +0200 |
commit | b0284395a60b98c9970c877b6262b5e383635ada (patch) | |
tree | bca96d516174d500046a8b13dffc62595fad2011 /pkgs/development/libraries/agda | |
parent | 6d4c440f801a96a19795ee6d04189385f39fc0d3 (diff) |
agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/agda-categories/default.nix | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/pkgs/development/libraries/agda/agda-categories/default.nix b/pkgs/development/libraries/agda/agda-categories/default.nix index 11058eb07001f..267ee041bdc17 100644 --- a/pkgs/development/libraries/agda/agda-categories/default.nix +++ b/pkgs/development/libraries/agda/agda-categories/default.nix @@ -1,21 +1,19 @@ { lib, mkDerivation, fetchFromGitHub, standard-library }: mkDerivation rec { - version = "0.1.6"; + version = "0.1.7.1"; pname = "agda-categories"; src = fetchFromGitHub { owner = "agda"; repo = "agda-categories"; rev = "v${version}"; - sha256 = "1s75yqcjwj13s1m3fg29krnn05lws6143ccfdygc6c4iynvvznsh"; + sha256 = "1acb693ad2nrmnn6jxsyrlkc0di3kk2ksj2w9wnyfxrgvfsil7rn"; }; buildInputs = [ standard-library ]; meta = with lib; { - # Remove if a version compatible with agda 2.6.2 is made - broken = true; inherit (src.meta) homepage; description = "A new Categories library"; license = licenses.bsd3; |