pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc/math/py-z3
Module Name: pkgsrc
Committed By: wiz
Date: Sun Dec 23 12:27:34 UTC 2018
Modified Files:
pkgsrc/math/py-z3: Makefile
Log Message:
py-z3: set GITHUB_PROJECT to fix fetch stage
To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/py-z3/Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: pkgsrc/math/py-z3/Makefile
diff -u pkgsrc/math/py-z3/Makefile:1.1 pkgsrc/math/py-z3/Makefile:1.2
--- pkgsrc/math/py-z3/Makefile:1.1 Tue Mar 13 00:36:05 2018
+++ pkgsrc/math/py-z3/Makefile Sun Dec 23 12:27:34 2018
@@ -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