pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/math/py-z3 py-z3: set GITHUB_PROJECT to fix fetch stage
details: https://anonhg.NetBSD.org/pkgsrc/rev/2e82cd9f8669
branches: trunk
changeset: 316977:2e82cd9f8669
user: wiz <wiz%pkgsrc.org@localhost>
date: Sun Dec 23 12:27:34 2018 +0000
description:
py-z3: set GITHUB_PROJECT to fix fetch stage
diffstat:
math/py-z3/Makefile | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diffs (14 lines):
diff -r e0780dfada82 -r 2e82cd9f8669 math/py-z3/Makefile
--- a/math/py-z3/Makefile Sun Dec 23 01:11:26 2018 +0000
+++ b/math/py-z3/Makefile Sun Dec 23 12:27:34 2018 +0000
@@ -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
Home |
Main Index |
Thread Index |
Old Index