New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
agda-categories: fix version #102161
agda-categories: fix version #102161
Conversation
pname = "agda-categories"; | ||
|
||
src = fetchFromGitHub { | ||
owner = "agda"; | ||
repo = "agda-categories"; | ||
rev = "v${version}"; | ||
sha256 = "0n6y9xarqhj95i4h56klx10gy0fyckxbfwgiissfknpfq6l0m7r6"; | ||
hash = "sha256-Jp8KqMHu2um0jvFxt/pk3gH/QOh0mgJJLElCnFVP3lg="; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Why changing the hash format?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Couldn't work out how to get the old format with nixUnstable
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nix-hash --type sha256 --flat --base32 <(echo "sha256-Jp8KqMHu2um0jvFxt/pk3gH/QOh0mgJJLElCnFVP3lg=")
works on nixStable
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Change one character in the hash to make it invalid and then run nix-build.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
With nixUnstable
, this gives you what I have written above
@alexarice Please have a look at agda/agda-categories#208 first, it was a mistake I think. |
@turion was right, this was a mistake which has been fixed upstream |
Result of 1 package built:
|
Motivation for this change
Seems agda-categories has changed its version from v0.1.4 to v0.14?
Things done
sandbox
innix.conf
on non-NixOS linux)nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
./result/bin/
)nix path-info -S
before and after)@turion