9 Commits

Author	SHA1	Message	Date
Termux Github Actions	19ce4cacb7	z3: update to 4.8.10 ... This commit has been automatically submitted by Github Actions.	2021-01-21 01:38:37 +00:00
Leonid Pliushch	37375312b9	explicitly set maintainer for each package ... In issue https://github.com/termux/termux-packages/issues/6160 I have found that community repo "its-pointless.github.io" specifies us as maintainer for its packages. This is NOT TRUE and potentially misleads people using these packages. Now TERMUX_PKG_MAINTAINER will contain a default value which is neutral and not specify maintainer. So all packages now have to override it to the correct value. [skip ci] %ci:no-build	2020-12-20 15:16:34 +02:00
Henrik Grimler	c96f6ef9de	z3: give build with TERMUX_MAKE_PROCESSES=1 a shot ... Based on xeffyrs suggestion. Already available in repo so this is just to check if it fixes the build.	2020-10-18 00:47:12 +02:00
Henrik Grimler	1a0d242729	z3: call python instead of sed'ing mk_make.py shebang	2020-10-17 23:27:50 +02:00
Henrik Grimler	76faa8b364	z3: use our python version	2020-10-17 23:09:44 +02:00
Henrik Grimler	ef35a46ccb	z3: update to 4.8.9	2020-10-17 21:13:38 +02:00
Butta	acf12000f1	Revert z3 update and bump vim and vim-python on the CI	2020-09-11 23:44:44 +05:30
Butta	7602acb71d	vim, vim-python: update from 8.2.1600 to 8.2.1650 ... z3: update from 4.8.8 to 4.8.9	2020-09-11 23:20:15 +05:30
ifurther	43584f0b52	new package: z3 (#5542)	2020-07-15 01:45:53 +03:00