27ce3ee72a
z3: revert back to 4.8.9
...
%ci:no-build
2021-03-02 15:51:12 +02:00
47b93fec1c
z3: bump revision
2021-03-02 15:19:47 +02:00
cf71d4b7f8
z3: rebuild package
...
Detected repository inconsistency:
No package z3 (= 4.8.10-1)
2021-03-02 14:55:42 +02:00
c94fe228a8
z3: bump to build
...
Package is currently missing from repo
2021-02-14 11:46:45 +01:00
19ce4cacb7
z3: update to 4.8.10
...
This commit has been automatically submitted by Github Actions.
2021-01-21 01:38:37 +00:00
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
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
1a0d242729
z3: call python instead of sed'ing mk_make.py shebang
2020-10-17 23:27:50 +02:00
76faa8b364
z3: use our python version
2020-10-17 23:09:44 +02:00
ef35a46ccb
z3: update to 4.8.9
2020-10-17 21:13:38 +02:00
acf12000f1
Revert z3 update and bump vim and vim-python on the CI
2020-09-11 23:44:44 +05:30
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
43584f0b52
new package: z3 ( #5542 )
2020-07-15 01:45:53 +03:00
Leonid Pliushch
Henrik Grimler
Butta
ifurther