From 7b989edc688e4cb204d439a33915a191a988abb6 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Mon, 30 Jul 2018 20:17:04 +0000 Subject: math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website z3 is a different project on PyPI. Reported by: koobs --- math/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'math/Makefile') diff --git a/math/Makefile b/math/Makefile index 27788817bcca..e803b57538fa 100644 --- a/math/Makefile +++ b/math/Makefile @@ -737,7 +737,7 @@ SUBDIR += py-uncertainties SUBDIR += py-viper SUBDIR += py-yt - SUBDIR += py-z3 + SUBDIR += py-z3-solver SUBDIR += qalculate SUBDIR += qd SUBDIR += qhull -- cgit v1.2.3