@@ -1,21 +1,19 @@
11{ lib, mkDerivation, fetchFromGitHub, standard-library }:
22
33mkDerivation rec {
4− version = "0.1.6";
4+ version = "0.1.7.1";
55 pname = "agda-categories";
66
77 src = fetchFromGitHub {
88 owner = "agda";
99 repo = "agda-categories";
1010 rev = "v${version}";
11− sha256 = "1s75yqcjwj13s1m3fg29krnn05lws6143ccfdygc6c4iynvvznsh";
11+ sha256 = "1acb693ad2nrmnn6jxsyrlkc0di3kk2ksj2w9wnyfxrgvfsil7rn";
1212 };
1313
1414 buildInputs = [ standard-library ];
1515
1616 meta = with lib; {
17− # Remove if a version compatible with agda 2.6.2 is made
18− broken = true;
1917 inherit (src.meta) homepage;
2018 description = "A new Categories library";
2119 license = licenses.bsd3;