diff options
| author | wiz <wiz@pkgsrc.org> | 2018-12-23 12:27:34 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2018-12-23 12:27:34 +0000 |
| commit | e0949916848f80ee2d5f679dea0c1c54a2fec3d3 (patch) | |
| tree | 76c6fb73b4dcd83d75461a09e99be24b6a9ad2d7 | |
| parent | 07b654b8cb99783c5db64848337232cc16b8afbb (diff) | |
| download | pkgsrc-e0949916848f80ee2d5f679dea0c1c54a2fec3d3.tar.gz | |
py-z3: set GITHUB_PROJECT to fix fetch stage
| -rw-r--r-- | math/py-z3/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/math/py-z3/Makefile b/math/py-z3/Makefile index edabca6cfcd..3e97865128f 100644 --- a/math/py-z3/Makefile +++ b/math/py-z3/Makefile @@ -1,8 +1,9 @@ -# $NetBSD: Makefile,v 1.1 2018/03/13 00:36:05 khorben Exp $ +# $NetBSD: Makefile,v 1.2 2018/12/23 12:27:34 wiz Exp $ .include "../../math/z3/Makefile.common" PKGNAME= ${PYPKGPREFIX}-${DISTNAME} +GITHUB_PROJECT= z3 COMMENT= Python bindings for the Z3 theorem prover / SMT solver |