agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1

This commit is contained in:
Manuel Bärenz 2021-07-26 12:16:56 +02:00 committed by sterni
parent 6d4c440f80
commit b0284395a6

View file

@ -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;