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