Mon, 17 Jun 2024 15:55:47 UTC | login

Information for file /usr/share/awk/have_mpfr.awk

Name/usr/share/awk/have_mpfr.awk
Digest (sha256)40d45f7e243e4f7faa1335852c5839fa80c60d70eccd94918cee7edbc58fd9a4
Size221.00 B
Modification timeTue, 02 Jul 2019 14:07:22 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgawk-5.0.1-2.fc31.riscv64.rpm