File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed
Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -3,7 +3,7 @@ dist: trusty
33sudo : required
44node_js : stable
55before_script :
6- - TAG=v0.12.0
6+ - TAG=v0.12.3
77 - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
88 - tar -xvf $HOME/purescript.tar.gz -C $HOME/
99 - chmod a+x $HOME/purescript
Original file line number Diff line number Diff line change 2828 "purescript-unsafe-coerce" : " ^4.0.0" ,
2929 "purescript-partial" : " ^2.0.0" ,
3030 "purescript-maybe" : " ^4.0.0" ,
31- "purescript-typelevel-prelude" : " ^3 .0.0" ,
31+ "purescript-typelevel-prelude" : " ^4 .0.0" ,
3232 "purescript-lists" : " ^5.0.0" ,
33- "purescript-record" : " ^1 .0.0" ,
33+ "purescript-record" : " ^2 .0.0" ,
3434 "purescript-enums" : " ^4.0.0"
3535 },
3636 "devDependencies" : {
You can’t perform that action at this time.
0 commit comments