diff options
| -rw-r--r-- | libraries/ocaml-findlib/ocaml-findlib.SlackBuild | 8 | ||||
| -rw-r--r-- | libraries/ocaml-findlib/ocaml-findlib.info | 10 |
2 files changed, 9 insertions, 9 deletions
diff --git a/libraries/ocaml-findlib/ocaml-findlib.SlackBuild b/libraries/ocaml-findlib/ocaml-findlib.SlackBuild index 593ef6a95a..83961eda85 100644 --- a/libraries/ocaml-findlib/ocaml-findlib.SlackBuild +++ b/libraries/ocaml-findlib/ocaml-findlib.SlackBuild @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright 2011 Jockey S. Kyd, Shanghai, CHN +# Copyright 2011 - 2014 Jockey S. Kyd, Shanghai, CHN +# Copyright 2014 Markus Hutmacher <mailing@markhu.de> # All rights reserved. # # Redistribution and use of this script, with or without modification, is @@ -21,7 +22,7 @@ # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. PRGNAM=ocaml-findlib -VERSION=1.2.7 +VERSION=${VERSION:-1.4.1} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} @@ -92,8 +93,7 @@ find $PKG -print0 | xargs -0 file \ find $PKG/usr/man -type f -exec gzip -9 {} \; mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION -cp -a \ - doc/DOCINFO doc/QUICKSTART doc/README INSTALL LICENSE \ +cp -a doc/DOCINFO doc/QUICKSTART doc/README INSTALL LICENSE \ $PKG/usr/doc/$PRGNAM-$VERSION cp -a doc/guide-html doc/ref-html $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild diff --git a/libraries/ocaml-findlib/ocaml-findlib.info b/libraries/ocaml-findlib/ocaml-findlib.info index 01ca399ba1..3a40de89b3 100644 --- a/libraries/ocaml-findlib/ocaml-findlib.info +++ b/libraries/ocaml-findlib/ocaml-findlib.info @@ -1,10 +1,10 @@ PRGNAM="ocaml-findlib" -VERSION="1.2.7" +VERSION="1.4.1" HOMEPAGE="http://projects.camlcity.org/projects/findlib.html" -DOWNLOAD="http://download.camlcity.org/download/findlib-1.2.7.tar.gz" -MD5SUM="000bff723e8d3d727a7edd5b5901b540" +DOWNLOAD="http://download.camlcity.org/download/findlib-1.4.1.tar.gz" +MD5SUM="5d258142e9a7db98bb3553dbca739af8" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocaml" -MAINTAINER="Jockey S. Kyd" -EMAIL="jockey.kyd@gmail.com" +MAINTAINER="Markus Hutmacher" +EMAIL="mailing@markhu.de" |