termux-pacman-bot 1c2275dbca fix(main/prover9): Fix implicit int compiler error ...

This fixes compiler errors as following.

msearch.c:850:22: error: parameter 'n' was not declared, defaults to 'int';
ISO C99 and later do not support implicit int [-Wimplicit-int]
int next_domain_size(n)
                     ^

2024-07-29 15:09:19 +00:00

..

build.sh

…

mace4.src-msearch.c.patch

…

mace4.src-select.c.patch

…