diff options
| author | Ingo Blechschmidt <iblech@web.de> | 2021-11-29 09:24:01 +0100 |
|---|---|---|
| committer | Ingo Blechschmidt <iblech@web.de> | 2021-12-13 13:02:58 +0100 |
| commit | 18eb0b0cf36d09441fd0827d3a005f7a6636f7b6 (patch) | |
| tree | cedcb84c0e75cbf2f871f95a2d08318803ed4fa4 /pkgs/development/libraries/agda | |
| parent | 92d83948ee400b255845b5f685ffa109ee657362 (diff) | |
agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097a
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/cubical/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix index 8e654444dd6ac..4cbbf53050944 100644 --- a/pkgs/development/libraries/agda/cubical/default.nix +++ b/pkgs/development/libraries/agda/cubical/default.nix @@ -2,13 +2,13 @@ mkDerivation rec { pname = "cubical"; - version = "0.3pred5030a9"; + version = "0.4prec3e097a"; src = fetchFromGitHub { repo = pname; owner = "agda"; - rev = "d5030a9c89070255fc575add4e9f37b97e6a0c0c"; - sha256 = "18achbxap4ikydigmz3m3xjfn3i9dw4rn8yih82vrlc01j02nqpi"; + rev = "c3e097a98c84083550fa31101346bd42a0501add"; + sha256 = "101cni2a9xvia1mglb94z61jm8xk9r5kc1sn44cri0qsmk1zbqxs"; }; LC_ALL = "en_US.UTF-8"; |