summaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
authorjaapb <jaapb@pkgsrc.org>2018-11-12 16:10:16 +0000
committerjaapb <jaapb@pkgsrc.org>2018-11-12 16:10:16 +0000
commitfe2799bea85c73f75e2898b34b0c039a3a9b873a (patch)
tree9e744199ee6d5802740a1055f645751d24302cb2 /math
parent55ef9340e10a687ab382888d21257a145893785d (diff)
downloadpkgsrc-fe2799bea85c73f75e2898b34b0c039a3a9b873a.tar.gz
Revbumps associated with update of lang/ocaml.
Diffstat (limited to 'math')
-rw-r--r--math/ocaml-num/Makefile4
-rw-r--r--math/ocaml-zarith/Makefile4
-rw-r--r--math/scilab/Makefile4
-rw-r--r--math/z3/Makefile4
4 files changed, 8 insertions, 8 deletions
diff --git a/math/ocaml-num/Makefile b/math/ocaml-num/Makefile
index f9c35f0858f..9f4bd8f9f0d 100644
--- a/math/ocaml-num/Makefile
+++ b/math/ocaml-num/Makefile
@@ -1,10 +1,10 @@
-# $NetBSD: Makefile,v 1.3 2018/07/19 15:15:26 jaapb Exp $
+# $NetBSD: Makefile,v 1.4 2018/11/12 16:10:24 jaapb Exp $
GITHUB_PROJECT= num
GITHUB_TAG= v${PKGVERSION_NOREV}
DISTNAME= ${GITHUB_PROJECT}-1.1
PKGNAME= ocaml-${DISTNAME}
-PKGREVISION= 2
+PKGREVISION= 3
CATEGORIES= math
MASTER_SITES= ${MASTER_SITE_GITHUB:=ocaml/}
diff --git a/math/ocaml-zarith/Makefile b/math/ocaml-zarith/Makefile
index bdcdfa701b1..452dcf817c1 100644
--- a/math/ocaml-zarith/Makefile
+++ b/math/ocaml-zarith/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.13 2018/08/22 09:45:36 wiz Exp $
+# $NetBSD: Makefile,v 1.14 2018/11/12 16:10:24 jaapb Exp $
#
VERSION= 1.4.1
@@ -6,7 +6,7 @@ GITHUB_PROJECT= Zarith
GITHUB_TAG= release-${VERSION}
DISTNAME= ${GITHUB_PROJECT}-${VERSION}
PKGNAME= ocaml-${DISTNAME:tl}
-PKGREVISION= 11
+PKGREVISION= 12
CATEGORIES= math
MASTER_SITES= ${MASTER_SITE_GITHUB:=ocaml/}
diff --git a/math/scilab/Makefile b/math/scilab/Makefile
index 070515193f9..55c82897d7d 100644
--- a/math/scilab/Makefile
+++ b/math/scilab/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.108 2018/07/19 15:15:27 jaapb Exp $
+# $NetBSD: Makefile,v 1.109 2018/11/12 16:10:24 jaapb Exp $
#
DISTNAME= ${SCIBASE}-src
-PKGREVISION= 25
+PKGREVISION= 26
PKGNAME= ${SCIBASE}
CATEGORIES= math
MASTER_SITES= http://www.scilab.org/download/4.1/
diff --git a/math/z3/Makefile b/math/z3/Makefile
index e5cd6ba1cc6..b732c5dacdc 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.11 2018/07/19 15:15:27 jaapb Exp $
+# $NetBSD: Makefile,v 1.12 2018/11/12 16:10:24 jaapb Exp $
.include "Makefile.common"
-PKGREVISION= 3
+PKGREVISION= 4
COMMENT= The Z3 theorem prover / SMT solver
.include "options.mk"