purescript / registry-dev

Development work related to the PureScript Registry
https://github.com/purescript/registry
97 stars 80 forks source link

Update flake #610

Closed thomashoneyman closed 1 year ago

thomashoneyman commented 1 year ago

This updates the flake to the latest versions (and formats it). The only significant changes are:

thomashoneyman commented 1 year ago

Whoops, forgot to switch to the purix compilers, which includes 0.15.9 — the main point of this PR! This allows us to switch to 0.15.9 for upcoming package sets.