Commit Graph

40 Commits

Author SHA1 Message Date
termux-pacman-bot
c9ba9ecb64 some packages: Re-enable clang16-porting
%ci:no-build
2023-04-07 01:27:08 +00:00
termux-pacman-bot
754acad112 *: Disable clang16-porting for auto-updating packages
%ci:no-build
2023-03-28 07:33:10 +00:00
termux-pacman-bot
f0af1bc5f1 z3: Fix build
when patch for libpthread is removed.

This affects rpath of `lib/libz3.so` thus revbump.
2023-02-13 13:34:45 +00:00
termux-pacman-bot
acf30d8fff bump(main/z3): 4.12.1
This commit has been automatically submitted by Github Actions.
2023-01-18 18:33:52 +00:00
termux-pacman-bot
83004c2341 bump(main/z3): 4.12.0
This commit has been automatically submitted by Github Actions.
2023-01-14 19:02:35 +00:00
termux-pacman-bot
6b59bc1e96 *: Add missing libc++ dependency
%ci:no-build
2022-11-08 13:57:59 +00:00
termux-pacman-bot
a936928bea z3: Do not use unnecessary _PYTHON_VERSION
%ci:no-build
2022-10-30 22:38:33 +00:00
termux-pacman-bot
2f90abc7c0 z3: update to 4.11.2
This commit has been automatically submitted by Github Actions.
2022-09-04 08:28:52 +00:00
termux-pacman-bot
bb3c152b30 z3: update to 4.11.0
This commit has been automatically submitted by Github Actions.
2022-08-19 00:48:29 +00:00
termux-pacman-bot
6204b42fc4 packages/z3 2022-07-30 06:42:53 +00:00
termux-pacman-bot
2eb49cfd42 packages/z3 2022-07-23 00:58:40 +00:00
termux-pacman-bot
72ea82a4f9 &&packages/aptly&&packages/distcc&&packages/dog&&packages/ecl&&packages/electrum&&packages/enchant&&packages/freeimage&&packages/frp&&packages/gdrive-downloader&&packages/gengetopt&&packages/gogs&&packages/bore&&packages/gopass&&packages/haskell-diff&&packages/haskell-integer-logarithms&&packages/haskell-semialign&&packages/haskell-strict&&packages/haskell-tar&&packages/haskell-these&&packages/help2man&&packages/hfsutils&&packages/icoutils&&packages/cabal-install&&packages/jfrog-cli&&packages/latino&&packages/libimobiledevice&&packages/liblmdb&&packages/libplist&&packages/libraqm&&packages/libslirp&&packages/libstrophe&&packages/libusbmuxd&&packages/marisa&&packages/capnproto&&packages/mtools&&packages/nali&&packages/nasm&&packages/no-more-secrets&&packages/par2&&packages/php-zephir-parser&&packages/ptunnel-ng&&packages/rappel&&packages/slugify&&packages/snake&&packages/cc65&&packages/solidity&&packages/spark&&packages/ta-lib&&packages/usbmuxd&&packages/xorriso&&packages/z3&&packages/zstd&&packages/cfengine&&packages/clash&&packages/croc&&packages/dirb 2022-07-11 10:20:40 +00:00
termux-pacman-bot
78fc560ada packages/z3 2022-07-07 01:57:33 +00:00
termux-pacman-bot
8129931029 packages/z3 2022-07-06 18:48:06 +00:00
termux-actions[bot]
06c4155e9e packages/z3 2022-05-05 06:51:49 +00:00
termux-actions[bot]
e4368d905e packages/z3 2022-04-24 12:33:59 +00:00
termux-actions[bot]
afbc7363d2 packages/z3 2022-04-01 10:23:03 +00:00
termux-actions[bot]
59660194b9 packages/z3 2022-03-21 01:23:04 +00:00
termux-actions[bot]
fb5dec2d91 packages/z3 2022-02-09 11:36:59 +00:00
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