diff options
author | nosami <jasonimison@gmail.com> | 2019-04-10 20:28:13 +0300 |
---|---|---|
committer | nosami <jasonimison@gmail.com> | 2019-04-10 20:28:13 +0300 |
commit | 2f8daec0d61f6436bf6321f342888f616cd1b0ad (patch) | |
tree | 8c6033d268c1b57cbd412e0587b3fe668f0260dd /main/Makefile.am | |
parent | c5b9a15ebb5b671e6b575d46974fa2d4b095f342 (diff) |
Pin Paket to 5.201.1
Diffstat (limited to 'main/Makefile.am')
-rw-r--r-- | main/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/Makefile.am b/main/Makefile.am index 93786a80ed..9993eb3095 100644 --- a/main/Makefile.am +++ b/main/Makefile.am @@ -32,7 +32,7 @@ NUGET_RESTORE = mono external/nuget-binary/nuget.exe restore -DisableParallelPro # see: https://github.com/kzu/NuGet.Restore restore-packages: @$(NUGET_RESTORE) - mono external/fsharpbinding/.paket/paket.bootstrapper.exe + mono external/fsharpbinding/.paket/paket.bootstrapper.exe -v 5.201.1 pushd . && cd external/fsharpbinding && mono .paket/paket.exe restore && popd vcrevision: |