diff options
| author | jaapb <jaapb@pkgsrc.org> | 2018-04-13 13:55:27 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2018-04-13 13:55:27 +0000 |
| commit | 2814131d01db177a0277b70ad0f439825129a973 (patch) | |
| tree | 3cfe3d3d10bd1f251a4caecb634193f8e7df7fa8 /math/z3 | |
| parent | b1dc091037c8cf86a0302937c61b564483c5258b (diff) | |
| download | pkgsrc-2814131d01db177a0277b70ad0f439825129a973.tar.gz | |
Revbump associated with the upgrade of lang/ocaml
(this is the upgrade from 4.06 to 4.06.1)
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 036047ace5d..e319dbdebb7 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,8 +1,8 @@ -# $NetBSD: Makefile,v 1.9 2018/03/13 21:20:34 khorben Exp $ +# $NetBSD: Makefile,v 1.10 2018/04/13 13:55:35 jaapb Exp $ .include "Makefile.common" -PKGREVISION= 1 +PKGREVISION= 2 COMMENT= The Z3 theorem prover / SMT solver .include "options.mk" |