File tree 2 files changed +7
-5
lines changed
2 files changed +7
-5
lines changed Original file line number Diff line number Diff line change @@ -2,6 +2,8 @@ language: node_js
2
2
dist : trusty
3
3
sudo : required
4
4
node_js : stable
5
+ env :
6
+ - PATH=$HOME/purescript:$PATH
5
7
install :
6
8
- TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
7
9
- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
Original file line number Diff line number Diff line change 13
13
"url" : " git://github.com/purescript-node/purescript-node-buffer"
14
14
},
15
15
"dependencies" : {
16
- "purescript-effect" : " #compiler/0.12 " ,
17
- "purescript-maybe" : " #compiler/0.12 " ,
16
+ "purescript-effect" : " ^2.0.0 " ,
17
+ "purescript-maybe" : " ^4.0.0 " ,
18
18
"purescript-arraybuffer-types" : " ^2.0.0"
19
19
},
20
20
"devDependencies" : {
21
- "purescript-assert" : " #compiler/0.12 " ,
22
- "purescript-console" : " #compiler/0.12 " ,
23
- "purescript-foldable-traversable" : " #compiler/0.12 "
21
+ "purescript-assert" : " ^4.0.0 " ,
22
+ "purescript-console" : " ^4.1.0 " ,
23
+ "purescript-foldable-traversable" : " ^4.0.0 "
24
24
}
25
25
}
You can’t perform that action at this time.
0 commit comments