YAKSH BARIYA
8b15720788
z3: update to 4.8.14 ( #8984 )
2022-02-09 17:00:42 +05:30
Lucy Phipps
521076289c
vim-python, weechat, xcb-proto, z3: bump
2021-10-06 02:25:37 +01:00
Lucy Phipps
e644c07401
setup-ubuntu.sh: install pip if using deadsnakes
2021-10-06 01:23:00 +01:00
Leonid Pliushch
27afd9e665
auto updates: migrate config from github-projects.txt to build.sh-specific
...
Re-enable automatic updates after deleting github-projects.txt.
%ci:no-build
2021-10-04 13:43:31 +03:00
YAKSH BARIYA
697202f15f
z3: update to 4.8.12 ( #7187 )
2021-07-26 12:49:03 +03:00
Leonid Pliushch
7aa6074bf2
Revert "z3: update to 4.8.12"
...
This reverts commit a92cfc6bc1
2021-07-23 14:45:59 +03:00
Termux Github Actions
a92cfc6bc1
z3: update to 4.8.12
...
This commit has been automatically submitted by Github Actions.
2021-07-22 21:41:16 +00:00
Leonid Pliushch
423be93fa6
Revert "z3: update to 4.8.10"
...
This reverts commit e99297760d
2021-06-16 16:42:01 +03:00
Termux Github Actions
e99297760d
z3: update to 4.8.10
...
This commit has been automatically submitted by Github Actions.
2021-06-16 13:26:53 +00:00
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
