termux-pacman-bot 656c7d87f7 chore(main/proj,proton-bridge,prover9): Rebuild ...

Rebuild some packages to get 16 kb page size.

2025-09-12 11:05:17 +00:00

..

build.sh

…

mace4.src-msearch.c.patch

…

mace4.src-select.c.patch

…