Commit Graph

13 Commits

Author SHA1 Message Date
Leonid Pliushch 27ce3ee72a
z3: revert back to 4.8.9
%ci:no-build
2021-03-02 15:51:12 +02:00
Leonid Pliushch 47b93fec1c
z3: bump revision 2021-03-02 15:19:47 +02:00
Leonid Pliushch cf71d4b7f8
z3: rebuild package
Detected repository inconsistency:

 No package z3 (= 4.8.10-1)
2021-03-02 14:55:42 +02:00
Henrik Grimler c94fe228a8 z3: bump to build
Package is currently missing from repo
2021-02-14 11:46:45 +01:00
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