purescript / registry-dev

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

Update compilers (0.15.11, 0.15.12) #664

Closed thomashoneyman closed 10 months ago

thomashoneyman commented 10 months ago

New compilers have come out, so this updates the flake to add support for them via purescript-overlay.

❯ nix develop --command 'purs-versions'
0.13.0 0.13.2 0.13.3 0.13.4 0.13.5 0.13.6 0.13.8 0.14.0 0.14.1 0.14.2 0.14.3 0.14.4 0.14.5 0.14.6 0.14.7 0.14.8 0.14.9 0.15.0 0.15.10 0.15.11 0.15.12 0.15.2 0.15.3 0.15.4 0.15.5 0.15.6 0.15.7 0.15.8 0.15.9