nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-23 21:33:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

agdaPackages.cubical: 0.4prec3e097a -> 0.4

Browse Source
This commit is contained in:
Alex Rice 2022-12-01 15:53:35 +00:00
parent 94ac413379
commit 3a61d6d707
No known key found for this signature in database
GPG Key ID: 93DDCD7A2B3F3B88
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/libraries/agda/cubical/default.nix
View File

@ -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";