Agda: mark packages as broken until 2.6.2 compatible release is made#131245
Agda: mark packages as broken until 2.6.2 compatible release is made#131245alexarice wants to merge 1 commit intoNixOS:haskell-updatesfrom
Conversation
|
Some things are currently being fixed on master, so this could cause merge conflicts, not sure how you want to proceed |
Fixed on master how? We don't have the newer Agda merged yet? Are these changes backwards compatible? Nevertheless master is merged into haskell-updates once per day, so we'll profit from the fixes on master as well. |
I'm not actually sure but see #131149 for example |
| # Remove if a version compatible with agda 2.6.2 is made | ||
| broken = true; |
There was a problem hiding this comment.
cubical has been fixed and the fix has been merged into haskell-updates.
| # Remove if a version compatible with agda 2.6.2 is made | |
| broken = true; |
|
Cherry-picked as 9d48670. |
Motivation for this change
Agda 2.6.2 released which broke most agda packages. Until these release a compatible release they should be marked as broken.
Things done
sandboxinnix.confon non-NixOS linux)nix-shell -p nixpkgs-review --run "nixpkgs-review wip"./result/bin/)@cdepillabout @turion