Update default pin to 19.03

input-output-hk / iohk-nix

nix scripts shared across projects

62 stars 28 forks source link

Update default pin to 19.03 #62

Closed michaelpj closed 1 year ago

michaelpj commented 5 years ago

It's out now.

Not sure what the blockers are here - do we need to still use our fork and make a new patched branch, or is enough stuff upstream now?

angerman commented 5 years ago

I believe not enough will be upstream, and I would hope they didn't break any cross logic. This probably needs a day or two to be investigated. What would be the benefits for us to move to 19.03?

@disassembler thoughts?

michaelpj commented 5 years ago

Newer stuff, plus it's just less painful to do these kinds of upgrades as they come.

(I turns out that the thing which I actually want -- a newer version of Agda -- isn't in there, but it seems like a good idea anyway.)

michaelpj commented 5 years ago

It looks like 18.09 may not work completely on recent versions of MacOS any more, so upgrading is a bit more of a priority for us as we have several Mac users.

https://github.com/input-output-hk/plutus/issues/1018