diff options
| author | Ingo Blechschmidt <iblech@speicherleck.de> | 2020-11-01 10:33:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-01 10:33:06 +0100 |
| commit | efa79e6e535a56d6943ae6379f6a27138727b0a3 (patch) | |
| tree | 84501e65a81d3333184a9cc491c7e4296d65cfb7 | |
| parent | 93e0a06de4eac37fd7cc9703851224e47ce677b6 (diff) | |
| download | nixpkgs-efa79e6e535a56d6943ae6379f6a27138727b0a3.tar nixpkgs-efa79e6e535a56d6943ae6379f6a27138727b0a3.tar.gz nixpkgs-efa79e6e535a56d6943ae6379f6a27138727b0a3.tar.bz2 nixpkgs-efa79e6e535a56d6943ae6379f6a27138727b0a3.tar.lz nixpkgs-efa79e6e535a56d6943ae6379f6a27138727b0a3.tar.xz nixpkgs-efa79e6e535a56d6943ae6379f6a27138727b0a3.tar.zst nixpkgs-efa79e6e535a56d6943ae6379f6a27138727b0a3.zip | |
agda-categories: fix hash
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
| -rw-r--r-- | pkgs/development/libraries/agda/agda-categories/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/agda/agda-categories/default.nix b/pkgs/development/libraries/agda/agda-categories/default.nix index f2215b9b984..fb6cc727967 100644 --- a/pkgs/development/libraries/agda/agda-categories/default.nix +++ b/pkgs/development/libraries/agda/agda-categories/default.nix @@ -8,7 +8,7 @@ mkDerivation rec { owner = "agda"; repo = "agda-categories"; rev = "v${version}"; - sha256 = "0n6y9xarqhj95i4h56klx10gy0fyckxbfwgiissfknpfq6l0m7r6"; + sha256 = "1bcvmxcnl1ig38fxqkx8ydidhxq6a0kn2k9waf0lygh4ap928sgk"; }; buildInputs = [ standard-library ]; |