diff options
author | jaapb <jaapb@pkgsrc.org> | 2021-03-08 08:12:45 +0000 |
---|---|---|
committer | jaapb <jaapb@pkgsrc.org> | 2021-03-08 08:12:45 +0000 |
commit | ccdeb6b0b7d033bfa924ac001c20069477c66391 (patch) | |
tree | d66216d51ef3acac4f2126542e80c3c299b16c72 /math/z3 | |
parent | 2accce5875057ad7f4fb653b9ef090b40c669ff1 (diff) | |
download | pkgsrc-ccdeb6b0b7d033bfa924ac001c20069477c66391.tar.gz |
Recursive revbump 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 7bc890a416f..1da9506a3a8 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.14 2019/04/25 07:33:06 maya Exp $ +# $NetBSD: Makefile,v 1.15 2021/03/08 08:13:03 jaapb Exp $ .include "Makefile.common" -PKGREVISION= 1 +PKGREVISION= 2 COMMENT= The Z3 theorem prover / SMT solver .include "options.mk" |