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