summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--development/fsharp/fsharp.SlackBuild6
-rw-r--r--development/fsharp/fsharp.info6
2 files changed, 6 insertions, 6 deletions
diff --git a/development/fsharp/fsharp.SlackBuild b/development/fsharp/fsharp.SlackBuild
index 74181b4835..853bf1b42e 100644
--- a/development/fsharp/fsharp.SlackBuild
+++ b/development/fsharp/fsharp.SlackBuild
@@ -4,10 +4,10 @@
# Written by Steven Vch. <unstatik@staremax.com>
PRGNAM=fsharp
-VERSION=${VERSION:-4.0.1.1}
+VERSION=${VERSION:-4.0.1.13}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
-MONO_BIN=/usr/bin/mono
+MONO_BIN=`which mono`
if [ -z "$ARCH" ]; then
case "$( uname -m )" in
@@ -71,7 +71,7 @@ find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | gr
| cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
-cp -a CHANGELOG-* LICENSE README* $PKG/usr/doc/$PRGNAM-$VERSION
+cp -a CHANGELOG-* LICENSE README* CONTRIBUTING* ISSUE_TEMPLATE* $PKG/usr/doc/$PRGNAM-$VERSION
cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
mkdir -p $PKG/install
diff --git a/development/fsharp/fsharp.info b/development/fsharp/fsharp.info
index aa0931133d..fa1c40f8ac 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"