zZzzZ.

usr / share / awk

Delete have_mpfr.awk?

zZzzZ. · Linux business200.mypowerfulserver.com 5.14.0-687.36.1.el9_8.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Aug 7 05:40:49 EDT 2026 x86_64