diff options
Diffstat (limited to 'development/fsharp/fsharp.info')
-rw-r--r-- | development/fsharp/fsharp.info | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/fsharp/fsharp.info b/development/fsharp/fsharp.info index aa0931133d1dd..fa1c40f8ac6c8 100644 --- a/development/fsharp/fsharp.info +++ b/development/fsharp/fsharp.info @@ -1,8 +1,8 @@ PRGNAM="fsharp" -VERSION="4.0.1.1" +VERSION="4.0.1.13" HOMEPAGE="https://github.com/fsharp/fsharp" -DOWNLOAD="https://github.com/fsharp/fsharp/archive/4.0.1.1.tar.gz" -MD5SUM="2dd3cc2cf130615bc79ceb1b93141e2b" +DOWNLOAD="https://github.com/fsharp/fsharp/archive/4.0.1.13.tar.gz" +MD5SUM="7d3c2f5eca6812aaaf7905d4e46617ab" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="mono" |