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
why3: 1.3.1 -> 1.3.2 #97241
why3: 1.3.1 -> 1.3.2 #97241
Conversation
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.
- Diff LGTM as-is
- Suggestion: add
meta.changelog = "http://why3.lri.fr/doc/changes.html";
- Suggestion: change to pull source from Inria Gitlab (see comment)
- Commits LGTM
- Builds via
nix-review
:
https://github.com/NixOS/nixpkgs/pull/97241
2 packages built:
framac why3
|
||
src = fetchurl { | ||
url = "https://gforge.inria.fr/frs/download.php/file/38291/why3-1.3.1.tar.gz"; | ||
sha256 = "16zcrc60zz2j3gd3ww93z2z9x2jkxb3kr57y8i5rcgmacy7mw3bv"; | ||
url = "https://gforge.inria.fr/frs/download.php/file/38366/why3-1.3.2.tar.gz"; |
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.
Suggestion: switch to using fetchgit
with the official Inria GitLab: https://gitlab.inria.fr/why3/why3
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.
Even better, fetchFromGitLab
should also work:
fetchFromGitLab {
domain = "gitlab.inria.fr";
# The usual attributes.
};
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.
Learned something new!
I marked this as stale due to inactivity. → More info |
Subsumed by #98441 |
Motivation for this change
New version
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)