JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

agda-categories: fix hash

Browse Source 
Apparently, v0.1.4 was released twice. The current version of the build
points to the first edition of v0.1.4, which is no longer attached to
the tag "v0.1.4" on GitHub. Hence currently, downloading fails.
This commit adjusts the hash to appropriately refer to the second
edition of v0.1.4
This commit is contained in:
Ingo Blechschmidt 2020-11-01 10:33:06 +01:00 committed by GitHub
parent 93e0a06de4
commit efa79e6e53
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/libraries/agda/agda-categories/default.nix
View File

@ -8,7 +8,7 @@ mkDerivation rec {
owner = "agda";
repo = "agda-categories";
rev = "v${version}";
sha256 = "0n6y9xarqhj95i4h56klx10gy0fyckxbfwgiissfknpfq6l0m7r6";
sha256 = "1bcvmxcnl1ig38fxqkx8ydidhxq6a0kn2k9waf0lygh4ap928sgk";
};
buildInputs = [ standard-library ];