diff options
-rw-r--r-- | development/fsharp/fsharp.SlackBuild | 6 | ||||
-rw-r--r-- | development/fsharp/fsharp.info | 6 |
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" |