# $NetBSD: Makefile,v 1.16 2022/05/24 18:51:53 jaapb Exp $

.include "Makefile.common"
PKGREVISION=	3
COMMENT=	The Z3 theorem prover / SMT solver

.include "options.mk"

.include "../../mk/bsd.pkg.mk"