Justin Woo b1e23abd7f purescript: upgrade to 0.12.5 (#59589) ...

* purescript: 0.12.4 -> 0.12.5
https://github.com/purescript/purescript/releases/v0.12.5

* purescript: consistent pkg name and attr name
+ version must start with a number

2019-04-25 23:29:53 +02:00

..

psc-package

psc-package: 0.4.2 -> 0.5.1

2019-01-31 19:06:04 +01:00

purescript

purescript: upgrade to 0.12.5 (#59589)

2019-04-25 23:29:53 +02:00