tjh.dev
functional-linear-algebra: 0.4->0.4.1
+2
-3
pkgs/development/libraries/agda/functional-linear-algebra/default.nix
+2
-3
pkgs/development/libraries/agda/functional-linear-algebra/default.nix
···
1
1
{ fetchFromGitHub, lib, mkDerivation, standard-library }:
2
2
3
3
mkDerivation rec {
4
-
version = "0.4";
4
+
version = "0.4.1";
5
5
pname = "functional-linear-algebra";
6
6
7
7
buildInputs = [ standard-library ];
···
10
10
repo = "functional-linear-algebra";
11
11
owner = "ryanorendorff";
12
12
rev = "v${version}";
13
-
sha256 = "05jk3792k9xf8iiwzm2hwlvd25f2pqqr3gppmqjf8xb9199i8fk0";
13
+
sha256 = "GrTeMEHEXb0t2RgHWiGfvvofNYl8YYaaoCE18JrG6Q4=";
14
14
};
15
15
16
16
preConfigure = ''
···
26
26
license = licenses.bsd3;
27
27
platforms = platforms.unix;
28
28
maintainers = with maintainers; [ ryanorendorff ];
29
-
broken = true;
30
29
};
31
30
}