7 files changed, 14 insertions, 13 deletions
diff --git a/math/ocaml-num/Makefile b/math/ocaml-num/Makefile
index bf8424ae757..f9c35f0858f 100644
--- a/math/ocaml-num/Makefile
+++ b/math/ocaml-num/Makefile
@@ -1,10 +1,10 @@
-# $NetBSD: Makefile,v 1.2 2018/04/13 13:55:34 jaapb Exp $
+# $NetBSD: Makefile,v 1.3 2018/07/19 15:15:26 jaapb Exp $
 
 GITHUB_PROJECT=	num
 GITHUB_TAG=	v${PKGVERSION_NOREV}
 DISTNAME=	${GITHUB_PROJECT}-1.1
 PKGNAME= 	ocaml-${DISTNAME}
-PKGREVISION= 	1
+PKGREVISION= 	2
 CATEGORIES=	math
 MASTER_SITES=	${MASTER_SITE_GITHUB:=ocaml/}
 
diff --git a/math/ocaml-num/buildlink3.mk b/math/ocaml-num/buildlink3.mk
index 3fe14dacf07..4c971f4371e 100644
--- a/math/ocaml-num/buildlink3.mk
+++ b/math/ocaml-num/buildlink3.mk
@@ -1,4 +1,4 @@
-# $NetBSD: buildlink3.mk,v 1.1 2018/01/10 16:29:44 jaapb Exp $
+# $NetBSD: buildlink3.mk,v 1.2 2018/07/19 15:15:26 jaapb Exp $
 
 BUILDLINK_TREE+=	ocaml-num
 
@@ -6,6 +6,7 @@ BUILDLINK_TREE+=	ocaml-num
 OCAML_NUM_BUILDLINK3_MK:=
 
 BUILDLINK_API_DEPENDS.ocaml-num+=	ocaml-num>=1.1
+BUILDLINK_ABI_DEPENDS.ocaml-num+=	ocaml-num>=1.1nb2
 BUILDLINK_PKGSRCDIR.ocaml-num?=	../../math/ocaml-num
 .endif	# OCAML_NUM_BUILDLINK3_MK
 
diff --git a/math/ocaml-zarith/Makefile b/math/ocaml-zarith/Makefile
index 7963cfd131f..66d8905f2b9 100644
--- a/math/ocaml-zarith/Makefile
+++ b/math/ocaml-zarith/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.11 2018/04/13 13:55:34 jaapb Exp $
+# $NetBSD: Makefile,v 1.12 2018/07/19 15:15:27 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=	9
+PKGREVISION=	10
 CATEGORIES=	math
 MASTER_SITES=	${MASTER_SITE_GITHUB:=ocaml/}
 
diff --git a/math/ocaml-zarith/buildlink3.mk b/math/ocaml-zarith/buildlink3.mk
index adfab7e3f42..262fcddc540 100644
--- a/math/ocaml-zarith/buildlink3.mk
+++ b/math/ocaml-zarith/buildlink3.mk
@@ -1,4 +1,4 @@
-# $NetBSD: buildlink3.mk,v 1.2 2017/07/11 14:16:23 jaapb Exp $
+# $NetBSD: buildlink3.mk,v 1.3 2018/07/19 15:15:27 jaapb Exp $
 
 BUILDLINK_TREE+=	ocaml-zarith
 
@@ -6,7 +6,7 @@ BUILDLINK_TREE+=	ocaml-zarith
 OCAML_ZARITH_BUILDLINK3_MK:=
 
 BUILDLINK_API_DEPENDS.ocaml-zarith+=	ocaml-zarith>=1.2.1
-BUILDLINK_ABI_DEPENDS.ocaml-zarith+=	ocaml-zarith>=1.4.1nb6
+BUILDLINK_ABI_DEPENDS.ocaml-zarith+=	ocaml-zarith>=1.4.1nb10
 BUILDLINK_PKGSRCDIR.ocaml-zarith?=	../../math/ocaml-zarith
 
 .include "../../devel/gmp/buildlink3.mk"
diff --git a/math/scilab/Makefile b/math/scilab/Makefile
index 03fd8bf793d..070515193f9 100644
--- a/math/scilab/Makefile
+++ b/math/scilab/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.107 2018/04/13 13:55:34 jaapb Exp $
+# $NetBSD: Makefile,v 1.108 2018/07/19 15:15:27 jaapb Exp $
 #
 
 DISTNAME=	${SCIBASE}-src
-PKGREVISION=	24
+PKGREVISION=	25
 PKGNAME=	${SCIBASE}
 CATEGORIES=	math
 MASTER_SITES=	http://www.scilab.org/download/4.1/
diff --git a/math/scilab/buildlink3.mk b/math/scilab/buildlink3.mk
index 9f641f2250f..244f80fccd0 100644
--- a/math/scilab/buildlink3.mk
+++ b/math/scilab/buildlink3.mk
@@ -1,4 +1,4 @@
-# $NetBSD: buildlink3.mk,v 1.15 2018/01/07 13:04:23 rillig Exp $
+# $NetBSD: buildlink3.mk,v 1.16 2018/07/19 15:15:27 jaapb Exp $
 #
 
 BUILDLINK_TREE+=	scilab
@@ -7,7 +7,7 @@ BUILDLINK_TREE+=	scilab
 SCILAB_BUILDLINK3_MK:=
 
 BUILDLINK_API_DEPENDS.scilab+=	scilab>=4.1
-BUILDLINK_ABI_DEPENDS.scilab+=	scilab>=4.1
+BUILDLINK_ABI_DEPENDS.scilab+=	scilab>=4.1nb25
 BUILDLINK_PKGSRCDIR.scilab?=	../../math/scilab
 
 BUILDLINK_FILES.scilab+=	lib/scilab-${SCIVERSION}/Version.incl
diff --git a/math/z3/Makefile b/math/z3/Makefile
index e319dbdebb7..e5cd6ba1cc6 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.10 2018/04/13 13:55:35 jaapb Exp $
+# $NetBSD: Makefile,v 1.11 2018/07/19 15:15:27 jaapb Exp $
 
 .include "Makefile.common"
 
-PKGREVISION=	2
+PKGREVISION=	3
 COMMENT=	The Z3 theorem prover / SMT solver
 
 .include "options.mk"