-
-
Notifications
You must be signed in to change notification settings - Fork 14k
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
maude: 3.3.1 -> 3.4 #331988
base: master
Are you sure you want to change the base?
maude: 3.3.1 -> 3.4 #331988
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.
The old url now jumps to this new one. LGTM.
Result of 1 package failed to build:
1 package built:
Seems to be caused by https://github.com/tamarin-prover/tamarin-prover/blob/7b79a738b75c6fc8825614c23e3dc43381d3a203/src/Main/Console.hs#L176 |
Thanks for the information. I created a pull request to update Maude in the tamarin-prover. |
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.
Looks like tests are broken.
Once my pull request to tamarin-prover is merged and the package is updated, it should work. |
Mark it as draft then please, so we don't spend time on this yet. |
My pull request to tamarin-prover was merged. They aim for a release in mid-September, which would include my fix. |
Description of changes
Things done
nix.conf
? (See Nix manual)sandbox = relaxed
sandbox = true
nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD"
. Note: all changes have to be committed, also see nixpkgs-review usage./result/bin/
)Add a 👍 reaction to pull requests you find important.