search

purescript / registry-dev

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

Update to 0.15.13 #674

Closed thomashoneyman closed 9 months ago

thomashoneyman commented 9 months ago

Updates the flake, which includes the 0.15.13 compiler release. This is necessary for us to allow packages to be published using 0.15.13.