diff options
author | Naïm Favier <n@monade.li> | 2023-07-05 11:14:29 +0200 |
---|---|---|
committer | Naïm Favier <n@monade.li> | 2023-07-05 11:14:29 +0200 |
commit | 963278d147423bc536e6fda7abd13591e739d3af (patch) | |
tree | 28c8394460379d24e99750f190e7d5aa0507f991 | |
parent | 8b487f94f79584bc664b440e967e97fa75f6c343 (diff) |
agdaPackages.cubical: unstable-2023-02-09 -> 0.5
https://github.com/agda/cubical/releases/tag/v0.5
-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 5cd2a4a9a2329..1ecf4b843c74a 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 = "unstable-2023-02-09"; + version = "0.5"; src = fetchFromGitHub { repo = pname; owner = "agda"; - rev = "6b1ce0b67fd94693c1a3e340c8e8765380de0edc"; - hash = "sha256-XRCaW94oAgy2GOnFiI9c5A8mEx7AzlbT4pFd+PMmc9o="; + rev = "v${version}"; + hash = "sha256-47GOfZYwvE9TbGzdy/xSYZagTbjs/oeDpwjYUvI7z3k="; }; # The cubical library has several `Everything.agda` files, which are |