diff options
| author | Anderson Torres <torres.anderson.85@protonmail.com> | 2021-02-03 15:56:55 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-03 15:56:55 -0300 |
| commit | 519c4f172741d6fcdfc526edb0e70b2c9bb3ef61 (patch) | |
| tree | 44a296550601910c86724eee4e40e2c1f0e8a970 /pkgs/development/libraries/agda | |
| parent | 8bf1bc692c66549d6e1ab07b226424044d85491f (diff) | |
| parent | 0c3b6defc193a9acaf23b5d8a8cd26f15604f891 (diff) | |
| download | nixpkgs-519c4f172741d6fcdfc526edb0e70b2c9bb3ef61.tar nixpkgs-519c4f172741d6fcdfc526edb0e70b2c9bb3ef61.tar.gz nixpkgs-519c4f172741d6fcdfc526edb0e70b2c9bb3ef61.tar.bz2 nixpkgs-519c4f172741d6fcdfc526edb0e70b2c9bb3ef61.tar.lz nixpkgs-519c4f172741d6fcdfc526edb0e70b2c9bb3ef61.tar.xz nixpkgs-519c4f172741d6fcdfc526edb0e70b2c9bb3ef61.tar.zst nixpkgs-519c4f172741d6fcdfc526edb0e70b2c9bb3ef61.zip | |
Merge pull request #110830 from iblech/patch-agdastdlib15
agdaPackages.standard-library: 1.4 -> 1.5
Diffstat (limited to 'pkgs/development/libraries/agda')
4 files changed, 13 insertions, 9 deletions
diff --git a/pkgs/development/libraries/agda/agda-categories/default.nix b/pkgs/development/libraries/agda/agda-categories/default.nix index fb6cc727967..1aca24ac8ea 100644 --- a/pkgs/development/libraries/agda/agda-categories/default.nix +++ b/pkgs/development/libraries/agda/agda-categories/default.nix @@ -1,14 +1,14 @@ { lib, mkDerivation, fetchFromGitHub, standard-library }: mkDerivation rec { - version = "0.1.4"; + version = "0.1.5"; pname = "agda-categories"; src = fetchFromGitHub { owner = "agda"; repo = "agda-categories"; rev = "v${version}"; - sha256 = "1bcvmxcnl1ig38fxqkx8ydidhxq6a0kn2k9waf0lygh4ap928sgk"; + sha256 = "1b5gj0r2z5fhh7k8b9s2kx4rjv8gi5y8ijgrbcvsa06n3acap3lm"; }; buildInputs = [ standard-library ]; diff --git a/pkgs/development/libraries/agda/functional-linear-algebra/default.nix b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix index ce4deb5b519..15603f293b4 100644 --- a/pkgs/development/libraries/agda/functional-linear-algebra/default.nix +++ b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix @@ -1,7 +1,7 @@ { fetchFromGitHub, lib, mkDerivation, standard-library }: mkDerivation rec { - version = "0.1"; + version = "0.2"; pname = "functional-linear-algebra"; buildInputs = [ standard-library ]; @@ -10,9 +10,13 @@ mkDerivation rec { repo = "functional-linear-algebra"; owner = "ryanorendorff"; rev = "v${version}"; - sha256 = "09ri3jmgp9jjwi1mzv4c3w6rvcmyx6spa2qxpwlcn0f4bmfva6wm"; + sha256 = "1dz7kh92df23scl1pkhn70n1f2v3d0x84liphn9kpsd6wlsxccxc"; }; + preConfigure = '' + sh generate-everything.sh + ''; + meta = with lib; { homepage = "https://github.com/ryanorendorff/functional-linear-algebra"; description = '' diff --git a/pkgs/development/libraries/agda/generic/default.nix b/pkgs/development/libraries/agda/generic/default.nix index 08a1d8e12e0..ab203121426 100644 --- a/pkgs/development/libraries/agda/generic/default.nix +++ b/pkgs/development/libraries/agda/generic/default.nix @@ -2,13 +2,13 @@ mkDerivation rec { pname = "generic"; - version = "0.1.0.1"; + version = "0.1.0.2"; src = fetchFromGitHub { - repo = "Generic"; owner = "effectfully"; + repo = "Generic"; rev = "v${version}"; - sha256 = "07l44yzx1jly20kmkmkjk8q493bn6x7i3xxpz6mhadkqlxyhmc8s"; + sha256 = "05igsd2gaj6h9bkqwp8llhvn4qvc5gmi03x4fnz096ba8m6x8s3n"; }; buildInputs = [ diff --git a/pkgs/development/libraries/agda/standard-library/default.nix b/pkgs/development/libraries/agda/standard-library/default.nix index 6ecd7720e92..4bd5de8bd48 100644 --- a/pkgs/development/libraries/agda/standard-library/default.nix +++ b/pkgs/development/libraries/agda/standard-library/default.nix @@ -2,13 +2,13 @@ mkDerivation rec { pname = "standard-library"; - version = "1.4"; + version = "1.5"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "1asjbisb7pfkgzqy7gf9b23z63bba8l8p1wqfd6ff5ddgqwj3dhp"; + sha256 = "16fcb7ssj6kj687a042afaa2gq48rc8abihpm14k684ncihb2k4w"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |