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
purescript	purescript: upgrade to 0.12.5 (#59589)	2019-04-25 23:29:53 +02:00