-
-
Notifications
You must be signed in to change notification settings - Fork 14.7k
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
Mark long-failing packages broken for 18.09 (2) #47108
Conversation
eztrace: cc maintainer @Fuuzetsu |
|
1 similar comment
|
@7c6f434c : thanks! Can I backport the fix to 18.09? |
Sure, we probably won't have anything better anyway.
|
|
|
|
Yes, the fix is quite old. I looked at the list of the GitHub releases/tags and saw only 8.0. Rolling back to 8.1 is probably a good idea.
|
Huh, looks like I was even involved in fixing the build failure, back in May... my memory must be failing :P I should have cut a 8.0.post.2018.05.09 back then. About GitHub releases/tags, one needs to check acl2-devel/acl2-devel, which is the repository mentioned in the nix derivation, rather than acl2/acl2 (yeah it's confusing). I'll sync git tags between the two repos soon. |
|
Thank you @romildo for fixing |
OK, switched |
|
(I'm just reverting these to keep track. Will cleanup before merge.) |
unable to do maintenance, feel free to do anything (disable) |
|
build has failed since 2018-04-28 no maintainer
build has failed since 2018-03-08 cc maintainer @obadz
- build fails with qt511 and qt59 (it used to build with qt510 which is not available anymore) - no nixpkgs maintainer - upstream repo looks inactive, last commit a year ago
Will merge this now as the our release date comes closer. Packages can be un-broken any time later... |
Motivation for this change
ZHF #45960 . Continuation of #46385. I'll keep adding broken packages as I find them.