diff options
| author | Alex Rice <alexrice999@hotmail.co.uk> | 2022-12-01 15:53:35 +0000 |
|---|---|---|
| committer | Alex Rice <alexrice999@hotmail.co.uk> | 2022-12-01 15:53:35 +0000 |
| commit | 3a61d6d707752ebed77bf60e450176b00913cd74 (patch) | |
| tree | c249e5838641afbe3f04e6c17da83990164cc10a /pkgs/development/libraries/agda | |
| parent | 94ac4133798289b198a7d782887feef9fb426f25 (diff) | |
agdaPackages.cubical: 0.4prec3e097a -> 0.4
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 4cbbf53050944..e4801fbda8e33 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.4prec3e097a"; + version = "0.4"; src = fetchFromGitHub { repo = pname; owner = "agda"; - rev = "c3e097a98c84083550fa31101346bd42a0501add"; - sha256 = "101cni2a9xvia1mglb94z61jm8xk9r5kc1sn44cri0qsmk1zbqxs"; + rev = "v${version}"; + hash = "sha256-bnHz5uZXZnn1Zd36tq/veA4yT7dhJ1c+AYpgdDfSRzE="; }; LC_ALL = "en_US.UTF-8"; |