Use latest Paket (#7124)

forki · KevinRansom · commit 20690cabeb7d · 2019-07-04T01:44:34.000-07:00
diff --git a/fcs/download-paket.ps1 b/fcs/download-paket.ps1
@@ -1,4 +1,4 @@
-$paketurl="https://github.com/fsprojects/Paket/releases/download/5.210.1/paket.exe"
+$paketurl="https://github.com/fsprojects/Paket/releases/download/5.215.0/paket.exe"
 $paketdir = Join-Path $PSScriptRoot ".paket"
 $paketpath = Join-Path $paketdir "paket.exe"
 
diff --git a/fcs/download-paket.sh b/fcs/download-paket.sh
@@ -12,7 +12,7 @@ while [[ -h "$source" ]]; do
 done
 scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
 
-paketurl=https://github.com/fsprojects/Paket/releases/download/5.210.1/paket.exe
+paketurl=https://github.com/fsprojects/Paket/releases/download/5.215.0/paket.exe
 paketdir=$scriptroot/.paket
 paketpath=$paketdir/paket.exe
 if [ ! -e "$paketpath" ]; then

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-$paketurl="https://github.com/fsprojects/Paket/releases/download/5.210.1/paket.exe"`
	`1`	`+$paketurl="https://github.com/fsprojects/Paket/releases/download/5.215.0/paket.exe"`
`2`	`2`	`$paketdir = Join-Path $PSScriptRoot ".paket"`
`3`	`3`	`$paketpath = Join-Path $paketdir "paket.exe"`
`4`	`4`