pyrox.dev
lol
agdaPackages.cubical: 0.3pred5030a9 -> 0.4prec3e097a
+3
-3
+3
-3
pkgs/development/libraries/agda/cubical/default.nix
+3
-3
pkgs/development/libraries/agda/cubical/default.nix
···
2
2
3
3
mkDerivation rec {
4
4
pname = "cubical";
5
-
version = "0.3pred5030a9";
5
+
version = "0.4prec3e097a";
6
6
7
7
src = fetchFromGitHub {
8
8
repo = pname;
9
9
owner = "agda";
10
-
rev = "d5030a9c89070255fc575add4e9f37b97e6a0c0c";
11
-
sha256 = "18achbxap4ikydigmz3m3xjfn3i9dw4rn8yih82vrlc01j02nqpi";
10
+
rev = "c3e097a98c84083550fa31101346bd42a0501add";
11
+
sha256 = "101cni2a9xvia1mglb94z61jm8xk9r5kc1sn44cri0qsmk1zbqxs";
12
12
};
13
13
14
14
LC_ALL = "en_US.UTF-8";