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 |
|