Merge pull request #22518 from mhei/php8-update-to-8.2.12
[feed/packages.git] / utils / rtklib /
drwxr-xr-x   ..
-rw-r--r-- 2661 Makefile
drwxr-xr-x - patches