diff options
| author | sterni <sternenseemann@systemli.org> | 2021-07-26 18:06:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-26 18:06:23 +0200 |
| commit | 6f08b46853dafed666cb6ec933a00ebe09bdf608 (patch) | |
| tree | e695a0c9b7518e18285bba870a7ecd7babb56c17 /pkgs/development/libraries | |
| parent | f254b2444ac7fa5b03c56035f889356b50b4425b (diff) | |
| parent | 703882fb577fc939ace7cdc3197440f306380b9b (diff) | |
| download | nixlib-6f08b46853dafed666cb6ec933a00ebe09bdf608.tar nixlib-6f08b46853dafed666cb6ec933a00ebe09bdf608.tar.gz nixlib-6f08b46853dafed666cb6ec933a00ebe09bdf608.tar.bz2 nixlib-6f08b46853dafed666cb6ec933a00ebe09bdf608.tar.lz nixlib-6f08b46853dafed666cb6ec933a00ebe09bdf608.tar.xz nixlib-6f08b46853dafed666cb6ec933a00ebe09bdf608.tar.zst nixlib-6f08b46853dafed666cb6ec933a00ebe09bdf608.zip | |
Merge pull request #130424 from NixOS/haskell-updates
haskellPackages: update stackage and hackage
Diffstat (limited to 'pkgs/development/libraries')
4 files changed, 8 insertions, 2 deletions
diff --git a/pkgs/development/libraries/agda/agda-categories/default.nix b/pkgs/development/libraries/agda/agda-categories/default.nix index 3121edccfe45..267ee041bdc1 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.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 ]; diff --git a/pkgs/development/libraries/agda/agda-prelude/default.nix b/pkgs/development/libraries/agda/agda-prelude/default.nix index 21883acd1958..c546badef2d2 100644 --- a/pkgs/development/libraries/agda/agda-prelude/default.nix +++ b/pkgs/development/libraries/agda/agda-prelude/default.nix @@ -19,6 +19,8 @@ mkDerivation rec { ''; meta = with lib; { + # Remove if a version compatible with agda 2.6.2 is made + broken = true; homepage = "https://github.com/UlfNorell/agda-prelude"; description = "Programming library for Agda"; license = lib.licenses.mit; diff --git a/pkgs/development/libraries/agda/functional-linear-algebra/default.nix b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix index 1e5c0ae28d3a..0253df176edc 100644 --- a/pkgs/development/libraries/agda/functional-linear-algebra/default.nix +++ b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix @@ -18,6 +18,8 @@ mkDerivation rec { ''; meta = with lib; { + # Remove if a version compatible with agda 2.6.2 is made + broken = true; homepage = "https://github.com/ryanorendorff/functional-linear-algebra"; description = '' Formalizing linear algebra in Agda by representing matrices as functions diff --git a/pkgs/development/libraries/agda/generic/default.nix b/pkgs/development/libraries/agda/generic/default.nix index ab2031214260..855dd0f33c51 100644 --- a/pkgs/development/libraries/agda/generic/default.nix +++ b/pkgs/development/libraries/agda/generic/default.nix @@ -21,6 +21,8 @@ mkDerivation rec { ''; meta = with lib; { + # Remove if a version compatible with agda 2.6.2 is made + broken = true; description = "A library for doing generic programming in Agda"; homepage = src.meta.homepage; |