Tue Mar 20 16:06:44 2018 UTC ()
Correct the package name for math/py-z3solver


(khorben)
diff -r1.1 -r1.2 pkgsrc/math/py-z3solver/Makefile
cvs diff -r1.1 -r1.2 pkgsrc/math/py-z3solver/Attic/Makefile (expand / switch to unified diff)

--- pkgsrc/math/py-z3solver/Attic/Makefile 2018/03/20 15:47:36 1.1
+++ pkgsrc/math/py-z3solver/Attic/Makefile 2018/03/20 16:06:44 1.2
@@ -1,17 +1,17 @@ @@ -1,17 +1,17 @@
1# $NetBSD: Makefile,v 1.1 2018/03/20 15:47:36 khorben Exp $ 1# $NetBSD: Makefile,v 1.2 2018/03/20 16:06:44 khorben Exp $
2 2
3DISTNAME= z3-solver-4.5.1.0.post2 3DISTNAME= z3-solver-4.5.1.0.post2
4PKGNAME= ${PYPKGPREFIX}-${EGG_NAME} 4PKGNAME= ${PYPKGPREFIX}-z3solver
5CATEGORIES= math 5CATEGORIES= math
6MASTER_SITES= ${MASTER_SITE_PYPI:=z/z3-solver/} 6MASTER_SITES= ${MASTER_SITE_PYPI:=z/z3-solver/}
7 7
8MAINTAINER= khorben@defora.org 8MAINTAINER= khorben@defora.org
9HOMEPAGE= https://pypi.python.org/pypi/z3-solver/ 9HOMEPAGE= https://pypi.python.org/pypi/z3-solver/
10COMMENT= Theorem prover from Microsoft Research 10COMMENT= Theorem prover from Microsoft Research
11LICENSE= mit 11LICENSE= mit
12 12
13USE_LANGUAGES= c c++ 13USE_LANGUAGES= c c++
14 14
15PYTHON_VERSIONS_ACCEPTED= 27 15PYTHON_VERSIONS_ACCEPTED= 27
16 16
17CONFLICTS+= z3-[0-9]* 17CONFLICTS+= z3-[0-9]*