diff options
| author | jaapb <jaapb@pkgsrc.org> | 2018-11-12 16:10:16 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2018-11-12 16:10:16 +0000 |
| commit | fe2799bea85c73f75e2898b34b0c039a3a9b873a (patch) | |
| tree | 9e744199ee6d5802740a1055f645751d24302cb2 /math/z3 | |
| parent | 55ef9340e10a687ab382888d21257a145893785d (diff) | |
| download | pkgsrc-fe2799bea85c73f75e2898b34b0c039a3a9b873a.tar.gz | |
Revbumps associated with update of lang/ocaml.
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 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" |