pyrox.dev
Merge pull request #131634 from ryanorendorff/functional-linear-algebra-0.4
agdaPackages.functional-linear-algebra 0.3->0.4
authored by
Ben Siraphob
and committed by
GitHub
2e5c4d5f
e2f517b5
+2
-4
pkgs/development/libraries/agda/functional-linear-algebra/default.nix
+2
-4
pkgs/development/libraries/agda/functional-linear-algebra/default.nix
···
1
{ fetchFromGitHub, lib, mkDerivation, standard-library }:
2
3
mkDerivation rec {
4
-
version = "0.3";
5
pname = "functional-linear-algebra";
6
7
buildInputs = [ standard-library ];
···
10
repo = "functional-linear-algebra";
11
owner = "ryanorendorff";
12
rev = "v${version}";
13
-
sha256 = "032gl35x1qzaigc3hbg9dc40zr0nyjld175cb9m8b15rlz9xzjn2";
14
};
15
16
preConfigure = ''
···
18
'';
19
20
meta = with lib; {
21
-
# Remove if a version compatible with agda 2.6.2 is made
22
-
broken = true;
23
homepage = "https://github.com/ryanorendorff/functional-linear-algebra";
24
description = ''
25
Formalizing linear algebra in Agda by representing matrices as functions
···
1
{ fetchFromGitHub, lib, mkDerivation, standard-library }:
2
3
mkDerivation rec {
4
+
version = "0.4";
5
pname = "functional-linear-algebra";
6
7
buildInputs = [ standard-library ];
···
10
repo = "functional-linear-algebra";
11
owner = "ryanorendorff";
12
rev = "v${version}";
13
+
sha256 = "05jk3792k9xf8iiwzm2hwlvd25f2pqqr3gppmqjf8xb9199i8fk0";
14
};
15
16
preConfigure = ''
···
18
'';
19
20
meta = with lib; {
21
homepage = "https://github.com/ryanorendorff/functional-linear-algebra";
22
description = ''
23
Formalizing linear algebra in Agda by representing matrices as functions