summaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
authorjaapb <jaapb@pkgsrc.org>2016-12-30 11:16:56 +0000
committerjaapb <jaapb@pkgsrc.org>2016-12-30 11:16:56 +0000
commit55ba8cb1e819118dc6f34db61e8361b097f4aeff (patch)
treef9f12aa508413369fe338b734e61f015ea267969 /math
parentdf5389f7bada48e1b39eeb309682a13dda4fb9f6 (diff)
downloadpkgsrc-55ba8cb1e819118dc6f34db61e8361b097f4aeff.tar.gz
Recursive revbump associated with ocaml update to 4.04.
Diffstat (limited to 'math')
-rw-r--r--math/ocaml-zarith/Makefile4
-rw-r--r--math/scilab/Makefile4
-rw-r--r--math/z3/Makefile4
3 files changed, 6 insertions, 6 deletions
diff --git a/math/ocaml-zarith/Makefile b/math/ocaml-zarith/Makefile
index e27e38b6433..b6f5d648749 100644
--- a/math/ocaml-zarith/Makefile
+++ b/math/ocaml-zarith/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.5 2016/07/09 06:38:33 wiz Exp $
+# $NetBSD: Makefile,v 1.6 2016/12/30 11:17:00 jaapb Exp $
#
DISTNAME= ocaml-zarith-1.4.1
-PKGREVISION= 4
+PKGREVISION= 5
CATEGORIES= math
MASTER_SITES= http://forge.ocamlcore.org/frs/download.php/1574/
diff --git a/math/scilab/Makefile b/math/scilab/Makefile
index af5d543ff74..d71fda1d4a9 100644
--- a/math/scilab/Makefile
+++ b/math/scilab/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.101 2016/05/05 11:45:40 jaapb Exp $
+# $NetBSD: Makefile,v 1.102 2016/12/30 11:17:00 jaapb Exp $
#
DISTNAME= ${SCIBASE}-src
-PKGREVISION= 18
+PKGREVISION= 19
PKGNAME= ${SCIBASE}
CATEGORIES= math
MASTER_SITES= http://www.scilab.org/download/4.1/
diff --git a/math/z3/Makefile b/math/z3/Makefile
index 5981432e36f..4b22c59f80c 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.2 2016/05/05 11:45:40 jaapb Exp $
+# $NetBSD: Makefile,v 1.3 2016/12/30 11:17:00 jaapb Exp $
DISTNAME= z3-4.4.1
GITHUB_TAG= ${DISTNAME}
-PKGREVISION= 1
+PKGREVISION= 2
CATEGORIES= math
MASTER_SITES= ${MASTER_SITE_GITHUB:=Z3Prover/}
PATCHFILES+= z3-jumbo-patch-20151123.gz