ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-01 18:17:21 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #203947 from alexarice/agda-cubical-update

Browse Source 
Fixes https://github.com/NixOS/nixpkgs/issues/203903
This commit is contained in:
Naïm Favier 2023-01-12 18:13:19 +01:00 committed by GitHub
commit 318ece34c0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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";