diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/development/libraries/agda')
3 files changed, 7 insertions, 7 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/agda-categories/default.nix b/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/agda-categories/default.nix index 13ca6c52d71a..fb6cc7279671 100644 --- a/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/agda-categories/default.nix +++ b/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/agda-categories/default.nix @@ -1,14 +1,14 @@ { lib, mkDerivation, fetchFromGitHub, standard-library }: mkDerivation rec { - version = "0.1.3.1"; + version = "0.1.4"; pname = "agda-categories"; src = fetchFromGitHub { owner = "agda"; repo = "agda-categories"; rev = "v${version}"; - sha256 = "08mc20qaz9vp5rhi60rh8wvjkg5aby3bgwwdhfnxha1663qf1q24"; + sha256 = "1bcvmxcnl1ig38fxqkx8ydidhxq6a0kn2k9waf0lygh4ap928sgk"; }; buildInputs = [ standard-library ]; diff --git a/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/generic/default.nix b/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/generic/default.nix index 1287e08bda1d..08a1d8e12e03 100644 --- a/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/generic/default.nix +++ b/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/generic/default.nix @@ -2,13 +2,13 @@ mkDerivation rec { pname = "generic"; - version = "0.1"; + version = "0.1.0.1"; src = fetchFromGitHub { repo = "Generic"; owner = "effectfully"; rev = "v${version}"; - sha256 = "121121rg3daaqp91845fbyws6g28hyj1ywmh12n54r3nicb35g5q"; + sha256 = "07l44yzx1jly20kmkmkjk8q493bn6x7i3xxpz6mhadkqlxyhmc8s"; }; buildInputs = [ @@ -17,7 +17,7 @@ mkDerivation rec { preBuild = '' echo "module Everything where" > Everything.agda - find src -name '*.agda' | sed -e 's/src\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda + find src -name '*.agda' | sed -e 's/src\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda ''; meta = with lib; { diff --git a/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/standard-library/default.nix b/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/standard-library/default.nix index 4bff585ac3a9..e43e1bad3b6c 100644 --- a/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/standard-library/default.nix +++ b/infra/libkookie/nixpkgs/pkgs/development/libraries/agda/standard-library/default.nix @@ -2,13 +2,13 @@ mkDerivation rec { pname = "standard-library"; - version = "1.3"; + version = "1.4"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "18kl20z3bjfgx5m3nvrdj5776qmpi7jl2p12pqybsls2lf86m0d5"; + sha256 = "1asjbisb7pfkgzqy7gf9b23z63bba8l8p1wqfd6ff5ddgqwj3dhp"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |