diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2016-07-07 16:52:33 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2016-07-20 14:20:08 -0500 |
| commit | 496a59c244f1ee9139534b83208291488064bcc6 (patch) | |
| tree | 65121c5949371bb012ec667fae12767e54a467bb /libraries | |
| parent | 6a3b9bc733bb09554390291ed90728b5c6d72017 (diff) | |
| download | slackbuilds-496a59c244f1ee9139534b83208291488064bcc6.tar.gz | |
libraries/ocaml-batteries: Updated for version 2.5.0.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/ocaml-batteries/ocaml-batteries.SlackBuild | 2 | ||||
| -rw-r--r-- | libraries/ocaml-batteries/ocaml-batteries.info | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/libraries/ocaml-batteries/ocaml-batteries.SlackBuild b/libraries/ocaml-batteries/ocaml-batteries.SlackBuild index 60f89f33c4..eef375354e 100644 --- a/libraries/ocaml-batteries/ocaml-batteries.SlackBuild +++ b/libraries/ocaml-batteries/ocaml-batteries.SlackBuild @@ -21,7 +21,7 @@ # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. PRGNAM=ocaml-batteries -VERSION=${VERSION:-2.2} +VERSION=${VERSION:-2.5.0} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} diff --git a/libraries/ocaml-batteries/ocaml-batteries.info b/libraries/ocaml-batteries/ocaml-batteries.info index a9888294dd..7dd16c49f4 100644 --- a/libraries/ocaml-batteries/ocaml-batteries.info +++ b/libraries/ocaml-batteries/ocaml-batteries.info @@ -1,10 +1,10 @@ PRGNAM="ocaml-batteries" -VERSION="2.2" +VERSION="2.5.0" HOMEPAGE="http://batteries.forge.ocamlcore.org/" -DOWNLOAD="https://forge.ocamlcore.org/frs/download.php/1363/batteries-2.2.tar.gz" -MD5SUM="42063b5f2da9a311ff16799b8bec4ba5" +DOWNLOAD="https://forge.ocamlcore.org/frs/download.php/1611/batteries-2.5.0.tar.gz" +MD5SUM="8eac258d184e12f2c224249968cedcc0" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="ocaml-bisect ocaml-camomile ocaml-findlib" +REQUIRES="ocaml-camomile ocaml-findlib" MAINTAINER="Jockey S. Kyd" EMAIL="jockey.kyd@gmail.com" |