Commit Graph

15 Commits

Author SHA1 Message Date
Termux Github Actions
e861ae30f6 solidity: update to 0.8.8
This commit has been automatically submitted by Github Actions.
2021-09-27 18:54:11 +00:00
Termux Github Actions
582a0d0c04 solidity: update to 0.8.7
This commit has been automatically submitted by Github Actions.
2021-08-11 18:58:14 +00:00
Termux Github Actions
ae38fb8077 solidity: update to 0.8.6
This commit has been automatically submitted by Github Actions.
2021-06-22 18:35:33 +00:00
Wetitpig
1d6a70c193
Bump solidity to version 0.8.5 (#7003)
* Bump solidity to 0.8.5
2021-06-14 11:29:13 +05:30
Leonid Pliushch
202bc3e827
solidity: update to 0.8.4 2021-05-05 15:43:14 +00:00
Leonid Pliushch
70452607d1
solidity: bump revision 2021-02-07 18:01:36 +00:00
Termux Github Actions
45b4b5fa65 solidity: update to 0.8.1
This commit has been automatically submitted by Github Actions.
2021-01-27 18:58:50 +00:00
Wetitpig
52c4243e94
Update solidity package to v0.8.0 (#6220) 2021-01-06 02:57:20 +02: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
Butta
831e8bb971 libgrpc: update from 1.31.1 to 1.32.0
solidity: update from 0.7.0 to 0.7.1

valac: update from 0.48.10 to 0.50.0
2020-09-13 22:15:09 +05:30
Butta
8b701199e3 boost: update from 1.73.0 to 1.74.0 and bump dependent packages 2020-08-16 13:27:12 +05:30
Leonid Pliushch
73725c318c solidity: fix typo in description 2020-08-11 21:07:13 +03:00
Wetitpig
8b8c12722f Don't use z3 2020-08-09 09:55:26 +08:00
Wetitpig
cb619351d1 Fix link to release 2020-08-09 09:39:37 +08:00
Wetitpig
db0e7a7e4b Add solidity 2020-08-09 09:20:58 +08:00