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
This commit is contained in:
Justin Woo 2019-04-26 06:29:53 +09:00 committed by Renaud
parent 6a0f1080a1
commit b1e23abd7f

View File

@ -17,20 +17,20 @@ let
''; '';
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
name = "purs-simple"; pname = "purescript";
version = "v0.12.4"; version = "0.12.5";
src = src =
if stdenv.isDarwin if stdenv.isDarwin
then then
fetchurl { fetchurl {
url = "https://github.com/purescript/purescript/releases/download/v0.12.4/macos.tar.gz"; url = "https://github.com/${pname}/${pname}/releases/download/v${version}/macos.tar.gz";
sha256 = "046b18plakwvqr77x1hybhfiyzrhnnq0q5ixcmypri1mkkdsmczx"; sha256 = "15j9lkrl15dicx37bmh0199b3qdixig7w24wvdzi20jqbacz8nkn";
} }
else else
fetchurl { fetchurl {
url = "https://github.com/purescript/purescript/releases/download/v0.12.4/linux64.tar.gz"; url = "https://github.com/${pname}/${pname}/releases/download/v${version}/linux64.tar.gz";
sha256 = "18yny533sjfgacxqx1ki306nhznj4q6nv52c83l82gqj8amyj7k0"; sha256 = "07dva5gxq77g787krscv4dsz5088fzkvpmm9fwxw9a59jszzs7kq";
}; };