Merge pull request #158 from justinwoo/milkis

upgrade milkis and fix git urls
This commit is contained in:
Justin Woo 2018-03-23 14:30:41 +02:00 committed by GitHub
commit cdb64e19d0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -229,7 +229,7 @@
"record",
"typelevel-prelude"
],
"repo": "git://github.com/justinwoo/purescript-chocopie.git",
"repo": "https://github.com/justinwoo/purescript-chocopie.git",
"version": "v1.0.0"
},
"codec": {
@ -1190,12 +1190,10 @@
"milkis": {
"dependencies": [
"aff-promise",
"http-methods",
"node-http",
"prelude"
],
"repo": "https://github.com/justinwoo/purescript-milkis.git",
"version": "v2.0.0"
"version": "v3.0.0"
},
"minibench": {
"dependencies": [
@ -1915,7 +1913,7 @@
"record",
"typelevel-prelude"
],
"repo": "git://github.com/sharkdp/purescript-sparkle.git",
"repo": "https://github.com/sharkdp/purescript-sparkle.git",
"version": "v4.2.0"
},
"spec": {